From 1459cb8a565c033af4968d05acb279bf9fadff6e Mon Sep 17 00:00:00 2001 From: Peter Lemenkov Date: Sat, 12 Jun 2010 15:08:28 +0400 Subject: [PATCH] Install dev.html, and guide.pdf if it exists Signed-off-by: Peter Lemenkov --- src/Makefile.in | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/src/Makefile.in b/src/Makefile.in index 011890bc2..8e1f011a8 100644 --- a/src/Makefile.in +++ b/src/Makefile.in @@ -246,9 +246,13 @@ install: all # # Documentation install -d $(DOCDIR) + install -m 644 ../doc/dev.html $(DOCDIR) install -m 644 ../doc/guide.html $(DOCDIR) install -m 644 ../doc/*.png $(DOCDIR) install -m 644 ../doc/*.txt $(DOCDIR) + [ -f ../doc/guide.pdf ] \ + && install -m 644 ../doc/guide.pdf $(DOCDIR) \ + || echo "No ../doc/guide.pdf was built" uninstall: uninstall-binary