summaryrefslogtreecommitdiff
path: root/manual
diff options
context:
space:
mode:
authorColin Watson <cjwatson@debian.org>2009-08-23 00:14:50 +0100
committerColin Watson <cjwatson@debian.org>2009-08-23 00:14:50 +0100
commit28b9a260cfcdd30f3176005c51062661f0bccc48 (patch)
tree243e6e50b6c21a53788472a39388eea18b18c17c /manual
parent627241dae468b7eb628de5069503a6ab688595bb (diff)
* manual/Makefile.am (noinst_DATA): Move $(MANUAL).dvi to ...
(CLEANFILES): ... here. (install-data-hook): Stop installing the DVI version of the manual by default.
Diffstat (limited to 'manual')
-rw-r--r--manual/Makefile.am6
-rw-r--r--manual/Makefile.in6
2 files changed, 2 insertions, 10 deletions
diff --git a/manual/Makefile.am b/manual/Makefile.am
index 1db42d15..031a5514 100644
--- a/manual/Makefile.am
+++ b/manual/Makefile.am
@@ -39,11 +39,11 @@ dist_noinst_DATA = \
$(ME_FILES)
noinst_DATA = \
$(MANUAL).cat \
- $(MANUAL).dvi \
$(MANUAL).ps
CLEANFILES = \
$(noinst_DATA) \
+ $(MANUAL).dvi \
$(MANUAL).html \
$(MANUAL).pp \
$(MANUAL).tdvi \
@@ -94,10 +94,6 @@ install-data-hook:
echo " $(INSTALL_DATA) $(MANUAL).cat '$(DESTDIR)$(docdir)/$(MANUAL_INSTALL).txt'"; \
$(INSTALL_DATA) $(MANUAL).cat "$(DESTDIR)$(docdir)/$(MANUAL_INSTALL).txt" || exit $$?; \
fi
- @if test -f $(MANUAL).dvi; then \
- echo " $(INSTALL_DATA) $(MANUAL).dvi '$(DESTDIR)$(docdir)/$(MANUAL_INSTALL).dvi'"; \
- $(INSTALL_DATA) $(MANUAL).dvi "$(DESTDIR)$(docdir)/$(MANUAL_INSTALL).dvi" || exit $$?; \
- fi
@if test -f $(MANUAL).ps; then \
echo " $(INSTALL_DATA) $(MANUAL).ps '$(DESTDIR)$(docdir)/$(MANUAL_INSTALL).ps'"; \
$(INSTALL_DATA) $(MANUAL).ps "$(DESTDIR)$(docdir)/$(MANUAL_INSTALL).ps" || exit $$?; \
diff --git a/manual/Makefile.in b/manual/Makefile.in
index c6795065..3a1978ee 100644
--- a/manual/Makefile.in
+++ b/manual/Makefile.in
@@ -840,11 +840,11 @@ dist_noinst_DATA = \
noinst_DATA = \
$(MANUAL).cat \
- $(MANUAL).dvi \
$(MANUAL).ps
CLEANFILES = \
$(noinst_DATA) \
+ $(MANUAL).dvi \
$(MANUAL).html \
$(MANUAL).pp \
$(MANUAL).tdvi \
@@ -1078,10 +1078,6 @@ install-data-hook:
echo " $(INSTALL_DATA) $(MANUAL).cat '$(DESTDIR)$(docdir)/$(MANUAL_INSTALL).txt'"; \
$(INSTALL_DATA) $(MANUAL).cat "$(DESTDIR)$(docdir)/$(MANUAL_INSTALL).txt" || exit $$?; \
fi
- @if test -f $(MANUAL).dvi; then \
- echo " $(INSTALL_DATA) $(MANUAL).dvi '$(DESTDIR)$(docdir)/$(MANUAL_INSTALL).dvi'"; \
- $(INSTALL_DATA) $(MANUAL).dvi "$(DESTDIR)$(docdir)/$(MANUAL_INSTALL).dvi" || exit $$?; \
- fi
@if test -f $(MANUAL).ps; then \
echo " $(INSTALL_DATA) $(MANUAL).ps '$(DESTDIR)$(docdir)/$(MANUAL_INSTALL).ps'"; \
$(INSTALL_DATA) $(MANUAL).ps "$(DESTDIR)$(docdir)/$(MANUAL_INSTALL).ps" || exit $$?; \