chiark / gitweb /
Jean-Marc searched in his /var/lib/dpkg/available and picked the
[developers-reference.git] / Makefile
index 390648d434fb9220a6d59593a22bf96d016686db..bfffca5ce2f156c208b6978a96c8f22321cd23d8 100644 (file)
--- a/Makefile
+++ b/Makefile
@@ -40,8 +40,9 @@ 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)
+       ln -sf index.en.html $(PUBLISHDIR)/$(MANUAL)/index.html
 
 developers-reference.html:     developers-reference.sgml
        $(htmllink)