diff options
-rw-r--r-- | doc/Makefile | 14 |
1 files changed, 7 insertions, 7 deletions
diff --git a/doc/Makefile b/doc/Makefile index 63c11fbf..081864ac 100644 --- 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 |