diff options
| author | Peter Lemenkov <lemenkov@gmail.com> | 2010-06-12 15:08:28 +0400 |
|---|---|---|
| committer | Badlop <badlop@process-one.net> | 2010-06-16 16:05:07 +0200 |
| commit | 8db328af60f55c326f46d457b7378e3c9420d0dc (patch) | |
| tree | eb0cab767076eecd3bdfa98100ddede3e202c68f /src | |
| parent | remove outdated and useless file, use ejabberdctl.template instead (diff) | |
Install dev.html, and guide.pdf if it exists
Signed-off-by: Peter Lemenkov <lemenkov@gmail.com>
Diffstat (limited to 'src')
| -rw-r--r-- | src/Makefile.in | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/src/Makefile.in b/src/Makefile.in index dd728ce0..c7bcdc1f 100644 --- a/src/Makefile.in +++ b/src/Makefile.in @@ -250,9 +250,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 |