Relevant BUGIDs: 471377

Purpose of commit: bugfix

Commit summary:
---------------
PDF support was broken - installation was messed up.

diff --git a/doc/Makefile b/doc/Makefile
index 63c11fbfaf1f1e1d6b23beb50979f71dd50d3e69..081864ac708d17dbf9aaa54c76f3c8b5e3a590bc 100644 (file)
--- a/doc/Makefile
+++ b/doc/Makefile
@@ -25,7 +25,7 @@ dummy:
 # can type make pdf in this directory and see what happens in the pdf
 # subdirectory.
 
-all: htmls texts postscript
+all: htmls texts postscript pdf
 
 htmls: $(HTMLS)
 
@@ -125,12 +125,12 @@ ifneq ($(PSER),)
        for file in ps/*.ps; do \
          install -m 644 $$file $(FAKEROOT)$(DOCDIR)/ps  ; \
        done
-       ifeq ($(HAVE_PS2PDF),yes)
-               mkdir -p $(FAKEROOT)$(DOCDIR)/pdf
-               for file in pdf/*.pdf; do \
-                 install -m 644 $$file $(FAKEROOT)$(DOCDIR)/pdf  ; \
-               done
-       endif
+ifeq ($(HAVE_PS2PDF),yes)
+       mkdir -p $(FAKEROOT)$(DOCDIR)/pdf
+       for file in pdf/*.pdf; do \
+         install -m 644 $$file $(FAKEROOT)$(DOCDIR)/pdf  ; \
+       done
+endif
 endif
 ifeq ($(HAVE_SGML2HTML),yes)
        mkdir -p $(FAKEROOT)$(DOCDIR)/html