diff options
Diffstat (limited to 'devhelp-build.patch')
-rw-r--r-- | devhelp-build.patch | 23 |
1 files changed, 23 insertions, 0 deletions
diff --git a/devhelp-build.patch b/devhelp-build.patch new file mode 100644 index 000000000000..069c2bc5e23f --- /dev/null +++ b/devhelp-build.patch @@ -0,0 +1,23 @@ +--- numpy-1.11.2/doc/Makefile 2016-10-04 01:52:47.000000000 +0200 ++++ numpy-1.11.2/doc/Makefile 2016-11-01 17:23:08.487117349 +0100 +@@ -27,6 +27,7 @@ + @echo " html-scipyorg to make standalone HTML files with scipy.org theming" + @echo " pickle to make pickle files (usable by e.g. sphinx-web)" + @echo " htmlhelp to make HTML files and a HTML help project" ++ @echo " devhelp to make HTML files and a project for the Devhelp doc viewer" + @echo " latex to make LaTeX files, you can set PAPER=a4 or PAPER=letter" + @echo " changes to make an overview over all changed/added/deprecated items" + @echo " linkcheck to check all external links for integrity" +@@ -147,6 +148,12 @@ + %.chm: %.hhp + -hhc.exe $^ + ++devhelp: generate ++ mkdir -p build/devhelp build/doctrees ++ $(SPHINXBUILD) -b devhelp $(ALLSPHINXOPTS) build/devhelp $(FILES) ++ @echo ++ @echo "Build finished. The HTML pages are in build/devhelp." ++ + qthelp: generate + mkdir -p build/qthelp build/doctrees + $(SPHINXBUILD) -b qthelp $(ALLSPHINXOPTS) build/qthelp $(FILES) |