X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=Makefile.am;h=4f2e7560cb0d3cc07889ae1eee982e014b29fb0f;hb=d01a223942ec2ae4745788b9c006f83fe22050ba;hp=0febcdbba65b5d413e9c35e357459cc0b8efbd78;hpb=cea0dd1e1329fe0fd3ddf290dfdb5b6668999809;p=pspp diff --git a/Makefile.am b/Makefile.am index 0febcdbba6..4f2e7560cb 100644 --- a/Makefile.am +++ b/Makefile.am @@ -2,7 +2,7 @@ AUTOMAKE_OPTIONS = gnits 1.7 -SUBDIRS = m4 doc intl lib src po config tests +SUBDIRS = m4 intl doc lib src po config tests pkgdocdir = $(prefix)/doc/@PACKAGE@ pkgdoc_DATA = NEWS README TODO @@ -22,7 +22,7 @@ private-install: private-uninstall: $(MAKE) private-uninstall -C config -EXTRA_DIST = config.rpath NEWS ONEWS TODO pref.h.orig configure +EXTRA_DIST = mkinstalldirs config.rpath NEWS ONEWS TODO pref.h.orig configure MAINTAINERCLEANFILES = Makefile.in aclocal.m4