X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=Makefile.am;h=78790a431da0dae13e2487c3ce7a8c82ce517ab7;hb=cef154921f6cdc07bc76edbe720036ab4c32bff8;hp=bebd2ab5ab4d13edc5dadfeef7bc3f36e7b00286;hpb=0f8c9c6c05632de5cadc70ca5381c1d9cb46960e;p=pspp-builds.git

diff --git a/Makefile.am b/Makefile.am
index bebd2ab5..78790a43 100644
--- a/Makefile.am
+++ b/Makefile.am
@@ -9,8 +9,7 @@ BUILT_SOURCES =
 AM_CPPFLAGS = \
 	-I$(top_srcdir)/gl \
 	-I$(top_builddir)/gl \
-	-DINSTALLDIR=\"$(bindir)\" \
-	-DDOCDIR=\"$(docdir)\"
+	-DINSTALLDIR=\"$(bindir)\"
 
 AM_CFLAGS=