X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;ds=inline;f=doc%2Fautomake.mk;h=6e14132f0c8b41372887f41d9a1f4a8a8b108590;hb=refs%2Fbuilds%2F20140226030518%2Fpspp;hp=d5fb00b62377396c43f2f947a04c073d6dbf124c;hpb=02a682272552710b1c4c869db3fea1d83b0eb3a7;p=pspp

diff --git a/doc/automake.mk b/doc/automake.mk
index d5fb00b623..6e14132f0c 100644
--- a/doc/automake.mk
+++ b/doc/automake.mk
@@ -81,7 +81,6 @@ docbookdir = $(docdir)
 dist_docbook_DATA = doc/pspp.xml
  
 
-EXTRA_DIST += doc/OChangeLog
 CLEANFILES += pspp-dev.dvi $(docbook_DATA)
 
 doc: $(INFO_DEPS) $(DVIS) $(PDFS) $(PSS) $(HTMLS) $(dist_docbook_DATA)