diff options
Diffstat (limited to 'Makefile.in')
-rw-r--r-- | Makefile.in | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/Makefile.in b/Makefile.in index 5ec1b160..26d55dee 100644 --- a/Makefile.in +++ b/Makefile.in @@ -739,9 +739,10 @@ uninstall_dirs: -rmdir $(man1dir) $(man5dir) $(man7dir) $(manroot) \ $(tmacdir) $(systemtmacdir) $(localtmacdir) \ $(fontdir) $(localfontdir) $(bindir) \ - $(datasubdir) $(dataprogramdir) $(datadir) $(infodir) \ + $(datasubdir) $(dataprogramdir) $(infodir) \ $(exampledir) $(htmldocdir) $(pdfdocdir) $(docdir) \ - $(libprogramdir) $(libdir) + $(libprogramdir) $(libdir) \ + $(datadir)/doc/groff $(datadir)/doc $(datadir) 2>/dev/null || : .PHONY: check docheck check: site.exp docheck |