publish also publishes pdf-files

git-svn-id: svn://anonscm.debian.org/ddp/manuals/trunk/developers-reference@2851 313b444b-1b9f-4f58-a734-7bb04f332e8d

diff --git a/Makefile b/Makefile
index 390648d434fb9220a6d59593a22bf96d016686db..9fc7829bf9b7584e756d3a68133ed59ff7c037e3 100644 (file)
--- a/Makefile
+++ b/Makefile
@@ -40,7 +40,7 @@ publish:      all
        [ -d $(PUBLISHDIR) ] || exit 1
        rm -f $(PUBLISHDIR)/$(MANUAL)/*.html
        $(make_directory) $(PUBLISHDIR)/$(MANUAL)
-       $(install_file) developers-reference*.html/*.html       \
+       $(install_file) developers-reference*.html/*.html developers-reference*pdf      \
           $(PUBLISHDIR)/$(MANUAL)
 
 developers-reference.html:     developers-reference.sgml