diff options
-rw-r--r-- | Makefile.common | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/Makefile.common b/Makefile.common index f3e6b16..959404f 100644 --- a/Makefile.common +++ b/Makefile.common @@ -6,6 +6,7 @@ # all -- Default target, builds HTML document only # ${DOCNAME}/index.html -- Builds HTML version of document # html -- See "${DOCNAME}/index.html" +# html-nochunks -- See "${DOCNAME}.html"; single HTML file # ${DOCNAME}.tar.gz -- Packages HTML document into a tar archive # tarball -- See "${DOCNAME}.tar.gz" # clean -- Deletes all generated files and directories @@ -44,8 +45,11 @@ html ${DOCNAME}/index.html:: ${XMLFILE} ${XMLEXTRAFILES} cp ../docs-common/stylesheet-images/*.png $(DOCNAME)/stylesheet-images cp ../docs-common/css/fedora.css $(DOCNAME) +html-nochunks $(DOCNAME).html:: ${XMLFILE} ${XMLEXTRAFILES} + xmlto html-nochunks -x $(XSLHTMLNOCHUNKS) $(XMLFILE) + # The "clean" or "distclean" target will remove all generated and temporary # files. distclean clean: - ${RM} -r ${DOCNAME}.pdf $(DOCNAME) ${DOCNAME}.tar.gz + ${RM} -r ${DOCNAME}.pdf $(DOCNAME) ${DOCNAME}.tar.gz ${DOCNAME}.html |