diff options
author | Colin Watson <cjwatson@debian.org> | 2009-08-23 00:14:50 +0100 |
---|---|---|
committer | Colin Watson <cjwatson@debian.org> | 2009-08-23 00:14:50 +0100 |
commit | 28b9a260cfcdd30f3176005c51062661f0bccc48 (patch) | |
tree | 243e6e50b6c21a53788472a39388eea18b18c17c /manual | |
parent | 627241dae468b7eb628de5069503a6ab688595bb (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.am | 6 | ||||
-rw-r--r-- | manual/Makefile.in | 6 |
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 $$?; \ |