X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=Makefile.am;h=48ec5073668fc7681f803ff0ae9a686d82c02e56;hb=d64431ef201b3031adaca5643e35274c0cee2fa5;hp=3d2e6916e16c1654997c726e3eb0143be924dbe0;hpb=a4b62f0df511939a5f9d7d19c12b98a71982516e;p=pspp

diff --git a/Makefile.am b/Makefile.am
index 3d2e6916e1..48ec507366 100644
--- a/Makefile.am
+++ b/Makefile.am
@@ -40,7 +40,7 @@ noinst_LTLIBRARIES=
 noinst_PROGRAMS=
 check_PROGRAMS=
 bin_PROGRAMS=
-man_MANS =
+dist_man_MANS =
 DIST_HOOKS =
 INSTALL_DATA_HOOKS = 
 UNINSTALL_DATA_HOOKS =