1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
|
Description: fix install-info
Do not create dir.gz in /usr/share/info during install
Author: Christian T. Steigies <cts@debian.org>
Last-Update: 2017-12-29
Index: moon-buggy-1.0.51/Makefile.in
===================================================================
--- moon-buggy-1.0.51.orig/Makefile.in
+++ moon-buggy-1.0.51/Makefile.in
@@ -775,16 +775,16 @@ install-info-am: $(INFO_DEPS)
else : ; fi; \
done; \
done
- @$(POST_INSTALL)
- @if (install-info --version && \
- install-info --version 2>&1 | sed 1q | grep -i -v debian) >/dev/null 2>&1; then \
- list='$(INFO_DEPS)'; \
- for file in $$list; do \
- relfile=`echo "$$file" | sed 's|^.*/||'`; \
- echo " install-info --info-dir='$(DESTDIR)$(infodir)' '$(DESTDIR)$(infodir)/$$relfile'";\
- install-info --info-dir="$(DESTDIR)$(infodir)" "$(DESTDIR)$(infodir)/$$relfile" || :;\
- done; \
- else : ; fi
+ #@$(POST_INSTALL)
+ #@if (install-info --version && \
+ # install-info --version 2>&1 | sed 1q | grep -i -v debian) >/dev/null 2>&1; then \
+ # list='$(INFO_DEPS)'; \
+ # for file in $$list; do \
+ # relfile=`echo "$$file" | sed 's|^.*/||'`; \
+ # echo " install-info --info-dir='$(DESTDIR)$(infodir)' '$(DESTDIR)$(infodir)/$$relfile'";\
+ # install-info --info-dir="$(DESTDIR)$(infodir)" "$(DESTDIR)$(infodir)/$$relfile" || :;\
+ # done; \
+ #else : ; fi
install-man: install-man6
installcheck-am:
|
