X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=doc%2Fautomake.mk;h=7c349b4159cd72fbc7bf11788d697634ba4e4cb7;hb=674231519c0e08f05f73d87dbee4987c3a8840a3;hp=2dedc304d626380735e70dd7e377f1f40ccb0f6e;hpb=607d3c7d7bc6f2e3f5bc7c07eb12b5aa6fb2bdea;p=pspp

diff --git a/doc/automake.mk b/doc/automake.mk
index 2dedc304d6..7c349b4159 100644
--- a/doc/automake.mk
+++ b/doc/automake.mk
@@ -41,8 +41,10 @@ doc_pspp_dev_TEXINFOS = doc/version-dev.texi \
 	doc/dev/portable-file-format.texi \
 	doc/dev/q2c.texi
 
-EXTRA_DIST += doc/pspp.man \
-	doc/get-commands.pl
+dist_man_MANS += doc/pspp.1 \
+                 doc/psppire.1
+
+EXTRA_DIST += doc/get-commands.pl
 
 $(srcdir)/doc/ni.texi: $(top_srcdir)/src/language/command.def doc/get-commands.pl
 	@$(MKDIR_P)  doc