X-Git-Url: http://www.chiark.greenend.org.uk/ucgi/~ianmdlvl/git?p=developers-reference.git;a=blobdiff_plain;f=Makefile;h=9fc7829bf9b7584e756d3a68133ed59ff7c037e3;hp=390648d434fb9220a6d59593a22bf96d016686db;hb=994fd8c3bb5af52b2aad232f5738f5f6fcaf34cf;hpb=d758e5999ae4a66eae4a97b5bffb30c940b6025c

diff --git a/Makefile b/Makefile
index 390648d..9fc7829 100644
--- 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