diff options
-rw-r--r-- | doc/Makefile.in | 7 | ||||
-rw-r--r-- | lib/Makefile.in | 1 |
2 files changed, 5 insertions, 3 deletions
diff --git a/doc/Makefile.in b/doc/Makefile.in index 40326e07a..ecd7690f9 100644 --- a/doc/Makefile.in +++ b/doc/Makefile.in @@ -123,9 +123,9 @@ uninstall-info: done mostlyclean-info: - rm -f fileutils.aux fileutils.cp fileutils.cps fileutils.dvi - rm -f fileutils.fn fileutils.fns fileutils.ky fileutils.log - rm -f fileutils.pg fileutils.toc fileutils.tp fileutils.vr fileutils.op + rm -f fileutils.aux fileutils.cp fileutils.cps fileutils.dvi \ + fileutils.fn fileutils.fns fileutils.ky fileutils.log \ + fileutils.pg fileutils.toc fileutils.tp fileutils.vr fileutils.op clean-info: @@ -168,6 +168,7 @@ installcheck: install-data: install-info install: install-data + : uninstall: uninstall-info diff --git a/lib/Makefile.in b/lib/Makefile.in index 1ef421e9f..b417cb44d 100644 --- a/lib/Makefile.in +++ b/lib/Makefile.in @@ -205,6 +205,7 @@ check: installcheck: install: + : uninstall: |