diff options
| author | yuri <yuri> | 2010-12-30 21:08:01 +0000 |
|---|---|---|
| committer | yuri <yuri> | 2010-12-30 21:08:01 +0000 |
| commit | 181492b446deab22bc5e7e65506241ad6f7ed781 (patch) | |
| tree | 86654507d4d56dfc400651755c14dabd0889e838 /documentation/Makefile | |
| parent | 0f42da625a27e6fd427b02b41563f151e857c789 (diff) | |
fix install without building fltk.pdf
git-svn-id: file:///fltk/svn/fltk/branches/branch-1.3@8145 ea41ed52-d2ee-0310-a9c1-e6b18d33e121
Diffstat (limited to 'documentation/Makefile')
| -rw-r--r-- | documentation/Makefile | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/documentation/Makefile b/documentation/Makefile index 370bda54b..e0ef739ee 100644 --- a/documentation/Makefile +++ b/documentation/Makefile @@ -79,8 +79,10 @@ install: $(MANPAGES) $(INSTALL_DATA) $$file $(DESTDIR)$(docdir); \ done \ fi - echo "Installing fltk.pdf in $(DESTDIR)$(docdir) ..." - $(INSTALL_DATA) fltk.pdf $(DESTDIR)$(docdir) + if test -f fltk.pdf ; then \ + echo "Installing fltk.pdf in $(DESTDIR)$(docdir) ..."; \ + $(INSTALL_DATA) fltk.pdf $(DESTDIR)$(docdir); \ + fi echo "Installing man pages in $(DESTDIR)$(mandir) ..." -$(INSTALL_DIR) $(DESTDIR)$(mandir)/cat1 $(INSTALL_MAN) $(SRC_DOCDIR)/fluid.$(CAT1EXT) $(DESTDIR)$(mandir)/cat1 |
