publish also publishes pdf-files

[developers-reference.git] / Makefile

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