blob: 32f1ae34bf3ea0a8959852a9564965bb476ca2ef (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
|
--- doc/Makefile.in.orig Fri Aug 6 21:56:34 1999
+++ doc/Makefile.in Sat Aug 21 22:22:12 1999
@@ -218,14 +218,6 @@
else : ; fi; \
done; \
done
- @$(POST_INSTALL)
- @if $(SHELL) -c 'install-info --version | sed 1q | fgrep -s -v -i debian' >/dev/null 2>&1; then \
- list='$(INFO_DEPS)'; \
- for file in $$list; do \
- echo " install-info --info-dir=$(DESTDIR)$(infodir) $(DESTDIR)$(infodir)/$$file";\
- install-info --info-dir=$(DESTDIR)$(infodir) $(DESTDIR)$(infodir)/$$file || :;\
- done; \
- else : ; fi
uninstall-info:
$(PRE_UNINSTALL)
|
