X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=config%2Fautomake.mk;h=88b63ac1b0bc59a9f449c18165a235b4cc186f01;hb=e4a1db0dd8deb893e19c00cdf30d8eae58c2f00e;hp=fa493d525498ab2ef9a9a34f0e92ccf71d4afeb7;hpb=92a8c8fc46b9e4619f92b05e4375a09cda6c9247;p=pspp

diff --git a/config/automake.mk b/config/automake.mk
index fa493d5254..88b63ac1b0 100644
--- a/config/automake.mk
+++ b/config/automake.mk
@@ -2,8 +2,7 @@
 
 
 dist_pkgsysconf_DATA = \
-	config/devices \
-	config/papersize
+	config/devices
 
 psfontsdir = $(pkgsysconfdir)/psfonts
 dist_psfonts_DATA = \
@@ -19,3 +18,5 @@ dist_psfonts_DATA = \
 	config/psfonts/Helvetica.afm \
 	config/psfonts/Times-Roman.afm \
 	config/psfonts/Courier.afm
+
+EXTRA_DIST += config/OChangeLog