Fixed problem with identifyFlag revealed by splint -help flags full

[splint.git] / doc / Makefile.in

diff --git a/doc/Makefile.in b/doc/Makefile.in
index a0ba9864d41415b66d90879b25216c9e773a8fef..366dcb7afd380b573b967675bdc858bf35c66ae6 100644 (file)
--- a/doc/Makefile.in
+++ b/doc/Makefile.in
@@ -87,8 +87,8 @@ install_sh = @install_sh@
 
 AUTOMAKE_OPTIONS = 1.5 foreign
 
+splintlibdir = $(pkgdatadir)/man
 
-#this is just a hack to get make dist to work.
 EXTRA_DIST = splint.1
 subdir = doc
 mkinstalldirs = $(SHELL) $(top_srcdir)/config/mkinstalldirs
@@ -207,6 +207,7 @@ uninstall-am: uninstall-info-am
 
 
 all:
+       @echo "Nothing to make in doc"
 # Tell versions [3.59,3.63) of GNU make to not export all variables.
 # Otherwise a system limit (for SysV at least) may be exceeded.
 .NOEXPORT: