blob: 1bbe49f55f40dbca178253423212930dcdc6f850 (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
|
--- texi/Makefile.in~ Thu Jan 4 08:16:11 2001
+++ texi/Makefile.in Mon Jan 29 14:08:22 2001
@@ -137,16 +137,16 @@
for file in $$list; do \
for ifile in `echo $$file $$file-[0-9] $$file-[0-9][0-9]`; do \
if test -f $$ifile; then \
- echo " $(INSTALL_DATA) $$ifile $(infodir)/$$ifile"; \
- $(INSTALL_DATA) $$ifile $(infodir)/$$ifile; \
+ echo " $(INSTALL_DATA) $$ifile $(infodir)/$$ifile.info"; \
+ $(INSTALL_DATA) $$ifile $(infodir)/$$ifile.info; \
else : ; fi; \
done; \
done
@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=$(infodir) $(infodir)/$$file";\
- install-info --info-dir=$(infodir) $(infodir)/$$file || :;\
+ echo " install-info --info-dir=$(infodir) $(infodir)/$$file.info";\
+ install-info --info-dir=$(infodir) $(infodir)/$$file.info || :;\
done; \
else : ; fi
|
