| author | Pascal Volk <user@localhost.localdomain.org> | 
| Mon, 27 Aug 2012 20:49:31 +0000 | |
| changeset 594 | cdbe200c0ecc | 
| parent 579 | be0906181a10 | 
| permissions | -rw-r--r-- | 
| 579 
be0906181a10
doc: Added source of http://vmm.localdomain.org/.
 Pascal Volk <user@localhost.localdomain.org> parents: diff
changeset | 1 | # Makefile for Sphinx documentation | 
| 
be0906181a10
doc: Added source of http://vmm.localdomain.org/.
 Pascal Volk <user@localhost.localdomain.org> parents: diff
changeset | 2 | # | 
| 
be0906181a10
doc: Added source of http://vmm.localdomain.org/.
 Pascal Volk <user@localhost.localdomain.org> parents: diff
changeset | 3 | |
| 
be0906181a10
doc: Added source of http://vmm.localdomain.org/.
 Pascal Volk <user@localhost.localdomain.org> parents: diff
changeset | 4 | # You can set these variables from the command line. | 
| 
be0906181a10
doc: Added source of http://vmm.localdomain.org/.
 Pascal Volk <user@localhost.localdomain.org> parents: diff
changeset | 5 | SPHINXOPTS = | 
| 
be0906181a10
doc: Added source of http://vmm.localdomain.org/.
 Pascal Volk <user@localhost.localdomain.org> parents: diff
changeset | 6 | SPHINXBUILD = sphinx-build | 
| 
be0906181a10
doc: Added source of http://vmm.localdomain.org/.
 Pascal Volk <user@localhost.localdomain.org> parents: diff
changeset | 7 | PAPER = | 
| 
be0906181a10
doc: Added source of http://vmm.localdomain.org/.
 Pascal Volk <user@localhost.localdomain.org> parents: diff
changeset | 8 | BUILDDIR = build | 
| 
be0906181a10
doc: Added source of http://vmm.localdomain.org/.
 Pascal Volk <user@localhost.localdomain.org> parents: diff
changeset | 9 | |
| 
be0906181a10
doc: Added source of http://vmm.localdomain.org/.
 Pascal Volk <user@localhost.localdomain.org> parents: diff
changeset | 10 | # Internal variables. | 
| 
be0906181a10
doc: Added source of http://vmm.localdomain.org/.
 Pascal Volk <user@localhost.localdomain.org> parents: diff
changeset | 11 | PAPEROPT_a4 = -D latex_paper_size=a4 | 
| 
be0906181a10
doc: Added source of http://vmm.localdomain.org/.
 Pascal Volk <user@localhost.localdomain.org> parents: diff
changeset | 12 | PAPEROPT_letter = -D latex_paper_size=letter | 
| 
be0906181a10
doc: Added source of http://vmm.localdomain.org/.
 Pascal Volk <user@localhost.localdomain.org> parents: diff
changeset | 13 | ALLSPHINXOPTS = -d $(BUILDDIR)/doctrees $(PAPEROPT_$(PAPER)) $(SPHINXOPTS) source | 
| 
be0906181a10
doc: Added source of http://vmm.localdomain.org/.
 Pascal Volk <user@localhost.localdomain.org> parents: diff
changeset | 14 | # the i18n builder cannot share the environment and doctrees with the others | 
| 
be0906181a10
doc: Added source of http://vmm.localdomain.org/.
 Pascal Volk <user@localhost.localdomain.org> parents: diff
changeset | 15 | I18NSPHINXOPTS = $(PAPEROPT_$(PAPER)) $(SPHINXOPTS) source | 
| 
be0906181a10
doc: Added source of http://vmm.localdomain.org/.
 Pascal Volk <user@localhost.localdomain.org> parents: diff
changeset | 16 | |
| 
be0906181a10
doc: Added source of http://vmm.localdomain.org/.
 Pascal Volk <user@localhost.localdomain.org> parents: diff
changeset | 17 | .PHONY: help clean html dirhtml singlehtml pickle json htmlhelp qthelp devhelp epub latex latexpdf text man changes linkcheck doctest gettext | 
| 
be0906181a10
doc: Added source of http://vmm.localdomain.org/.
 Pascal Volk <user@localhost.localdomain.org> parents: diff
changeset | 18 | |
| 
be0906181a10
doc: Added source of http://vmm.localdomain.org/.
 Pascal Volk <user@localhost.localdomain.org> parents: diff
changeset | 19 | help: | 
| 
be0906181a10
doc: Added source of http://vmm.localdomain.org/.
 Pascal Volk <user@localhost.localdomain.org> parents: diff
changeset | 20 | @echo "Please use \`make <target>' where <target> is one of" | 
| 
be0906181a10
doc: Added source of http://vmm.localdomain.org/.
 Pascal Volk <user@localhost.localdomain.org> parents: diff
changeset | 21 | @echo " html to make standalone HTML files" | 
| 
be0906181a10
doc: Added source of http://vmm.localdomain.org/.
 Pascal Volk <user@localhost.localdomain.org> parents: diff
changeset | 22 | @echo " dirhtml to make HTML files named index.html in directories" | 
| 
be0906181a10
doc: Added source of http://vmm.localdomain.org/.
 Pascal Volk <user@localhost.localdomain.org> parents: diff
changeset | 23 | @echo " singlehtml to make a single large HTML file" | 
| 
be0906181a10
doc: Added source of http://vmm.localdomain.org/.
 Pascal Volk <user@localhost.localdomain.org> parents: diff
changeset | 24 | @echo " pickle to make pickle files" | 
| 
be0906181a10
doc: Added source of http://vmm.localdomain.org/.
 Pascal Volk <user@localhost.localdomain.org> parents: diff
changeset | 25 | @echo " json to make JSON files" | 
| 
be0906181a10
doc: Added source of http://vmm.localdomain.org/.
 Pascal Volk <user@localhost.localdomain.org> parents: diff
changeset | 26 | @echo " htmlhelp to make HTML files and a HTML help project" | 
| 
be0906181a10
doc: Added source of http://vmm.localdomain.org/.
 Pascal Volk <user@localhost.localdomain.org> parents: diff
changeset | 27 | @echo " qthelp to make HTML files and a qthelp project" | 
| 
be0906181a10
doc: Added source of http://vmm.localdomain.org/.
 Pascal Volk <user@localhost.localdomain.org> parents: diff
changeset | 28 | @echo " devhelp to make HTML files and a Devhelp project" | 
| 
be0906181a10
doc: Added source of http://vmm.localdomain.org/.
 Pascal Volk <user@localhost.localdomain.org> parents: diff
changeset | 29 | @echo " epub to make an epub" | 
| 
be0906181a10
doc: Added source of http://vmm.localdomain.org/.
 Pascal Volk <user@localhost.localdomain.org> parents: diff
changeset | 30 | @echo " latex to make LaTeX files, you can set PAPER=a4 or PAPER=letter" | 
| 
be0906181a10
doc: Added source of http://vmm.localdomain.org/.
 Pascal Volk <user@localhost.localdomain.org> parents: diff
changeset | 31 | @echo " latexpdf to make LaTeX files and run them through pdflatex" | 
| 
be0906181a10
doc: Added source of http://vmm.localdomain.org/.
 Pascal Volk <user@localhost.localdomain.org> parents: diff
changeset | 32 | @echo " text to make text files" | 
| 
be0906181a10
doc: Added source of http://vmm.localdomain.org/.
 Pascal Volk <user@localhost.localdomain.org> parents: diff
changeset | 33 | @echo " man to make manual pages" | 
| 
be0906181a10
doc: Added source of http://vmm.localdomain.org/.
 Pascal Volk <user@localhost.localdomain.org> parents: diff
changeset | 34 | @echo " texinfo to make Texinfo files" | 
| 
be0906181a10
doc: Added source of http://vmm.localdomain.org/.
 Pascal Volk <user@localhost.localdomain.org> parents: diff
changeset | 35 | @echo " info to make Texinfo files and run them through makeinfo" | 
| 
be0906181a10
doc: Added source of http://vmm.localdomain.org/.
 Pascal Volk <user@localhost.localdomain.org> parents: diff
changeset | 36 | @echo " gettext to make PO message catalogs" | 
| 
be0906181a10
doc: Added source of http://vmm.localdomain.org/.
 Pascal Volk <user@localhost.localdomain.org> parents: diff
changeset | 37 | @echo " changes to make an overview of all changed/added/deprecated items" | 
| 
be0906181a10
doc: Added source of http://vmm.localdomain.org/.
 Pascal Volk <user@localhost.localdomain.org> parents: diff
changeset | 38 | @echo " linkcheck to check all external links for integrity" | 
| 
be0906181a10
doc: Added source of http://vmm.localdomain.org/.
 Pascal Volk <user@localhost.localdomain.org> parents: diff
changeset | 39 | @echo " doctest to run all doctests embedded in the documentation (if enabled)" | 
| 
be0906181a10
doc: Added source of http://vmm.localdomain.org/.
 Pascal Volk <user@localhost.localdomain.org> parents: diff
changeset | 40 | |
| 
be0906181a10
doc: Added source of http://vmm.localdomain.org/.
 Pascal Volk <user@localhost.localdomain.org> parents: diff
changeset | 41 | clean: | 
| 
be0906181a10
doc: Added source of http://vmm.localdomain.org/.
 Pascal Volk <user@localhost.localdomain.org> parents: diff
changeset | 42 | -rm -rf $(BUILDDIR)/* | 
| 
be0906181a10
doc: Added source of http://vmm.localdomain.org/.
 Pascal Volk <user@localhost.localdomain.org> parents: diff
changeset | 43 | |
| 
be0906181a10
doc: Added source of http://vmm.localdomain.org/.
 Pascal Volk <user@localhost.localdomain.org> parents: diff
changeset | 44 | html: | 
| 
be0906181a10
doc: Added source of http://vmm.localdomain.org/.
 Pascal Volk <user@localhost.localdomain.org> parents: diff
changeset | 45 | $(SPHINXBUILD) -b html $(ALLSPHINXOPTS) $(BUILDDIR)/html | 
| 
be0906181a10
doc: Added source of http://vmm.localdomain.org/.
 Pascal Volk <user@localhost.localdomain.org> parents: diff
changeset | 46 | 	@echo | 
| 
be0906181a10
doc: Added source of http://vmm.localdomain.org/.
 Pascal Volk <user@localhost.localdomain.org> parents: diff
changeset | 47 | @echo "Build finished. The HTML pages are in $(BUILDDIR)/html." | 
| 
be0906181a10
doc: Added source of http://vmm.localdomain.org/.
 Pascal Volk <user@localhost.localdomain.org> parents: diff
changeset | 48 | |
| 
be0906181a10
doc: Added source of http://vmm.localdomain.org/.
 Pascal Volk <user@localhost.localdomain.org> parents: diff
changeset | 49 | dirhtml: | 
| 
be0906181a10
doc: Added source of http://vmm.localdomain.org/.
 Pascal Volk <user@localhost.localdomain.org> parents: diff
changeset | 50 | $(SPHINXBUILD) -b dirhtml $(ALLSPHINXOPTS) $(BUILDDIR)/dirhtml | 
| 
be0906181a10
doc: Added source of http://vmm.localdomain.org/.
 Pascal Volk <user@localhost.localdomain.org> parents: diff
changeset | 51 | 	@echo | 
| 
be0906181a10
doc: Added source of http://vmm.localdomain.org/.
 Pascal Volk <user@localhost.localdomain.org> parents: diff
changeset | 52 | @echo "Build finished. The HTML pages are in $(BUILDDIR)/dirhtml." | 
| 
be0906181a10
doc: Added source of http://vmm.localdomain.org/.
 Pascal Volk <user@localhost.localdomain.org> parents: diff
changeset | 53 | |
| 
be0906181a10
doc: Added source of http://vmm.localdomain.org/.
 Pascal Volk <user@localhost.localdomain.org> parents: diff
changeset | 54 | singlehtml: | 
| 
be0906181a10
doc: Added source of http://vmm.localdomain.org/.
 Pascal Volk <user@localhost.localdomain.org> parents: diff
changeset | 55 | $(SPHINXBUILD) -b singlehtml $(ALLSPHINXOPTS) $(BUILDDIR)/singlehtml | 
| 
be0906181a10
doc: Added source of http://vmm.localdomain.org/.
 Pascal Volk <user@localhost.localdomain.org> parents: diff
changeset | 56 | 	@echo | 
| 
be0906181a10
doc: Added source of http://vmm.localdomain.org/.
 Pascal Volk <user@localhost.localdomain.org> parents: diff
changeset | 57 | @echo "Build finished. The HTML page is in $(BUILDDIR)/singlehtml." | 
| 
be0906181a10
doc: Added source of http://vmm.localdomain.org/.
 Pascal Volk <user@localhost.localdomain.org> parents: diff
changeset | 58 | |
| 
be0906181a10
doc: Added source of http://vmm.localdomain.org/.
 Pascal Volk <user@localhost.localdomain.org> parents: diff
changeset | 59 | pickle: | 
| 
be0906181a10
doc: Added source of http://vmm.localdomain.org/.
 Pascal Volk <user@localhost.localdomain.org> parents: diff
changeset | 60 | $(SPHINXBUILD) -b pickle $(ALLSPHINXOPTS) $(BUILDDIR)/pickle | 
| 
be0906181a10
doc: Added source of http://vmm.localdomain.org/.
 Pascal Volk <user@localhost.localdomain.org> parents: diff
changeset | 61 | 	@echo | 
| 
be0906181a10
doc: Added source of http://vmm.localdomain.org/.
 Pascal Volk <user@localhost.localdomain.org> parents: diff
changeset | 62 | @echo "Build finished; now you can process the pickle files." | 
| 
be0906181a10
doc: Added source of http://vmm.localdomain.org/.
 Pascal Volk <user@localhost.localdomain.org> parents: diff
changeset | 63 | |
| 
be0906181a10
doc: Added source of http://vmm.localdomain.org/.
 Pascal Volk <user@localhost.localdomain.org> parents: diff
changeset | 64 | json: | 
| 
be0906181a10
doc: Added source of http://vmm.localdomain.org/.
 Pascal Volk <user@localhost.localdomain.org> parents: diff
changeset | 65 | $(SPHINXBUILD) -b json $(ALLSPHINXOPTS) $(BUILDDIR)/json | 
| 
be0906181a10
doc: Added source of http://vmm.localdomain.org/.
 Pascal Volk <user@localhost.localdomain.org> parents: diff
changeset | 66 | 	@echo | 
| 
be0906181a10
doc: Added source of http://vmm.localdomain.org/.
 Pascal Volk <user@localhost.localdomain.org> parents: diff
changeset | 67 | @echo "Build finished; now you can process the JSON files." | 
| 
be0906181a10
doc: Added source of http://vmm.localdomain.org/.
 Pascal Volk <user@localhost.localdomain.org> parents: diff
changeset | 68 | |
| 
be0906181a10
doc: Added source of http://vmm.localdomain.org/.
 Pascal Volk <user@localhost.localdomain.org> parents: diff
changeset | 69 | htmlhelp: | 
| 
be0906181a10
doc: Added source of http://vmm.localdomain.org/.
 Pascal Volk <user@localhost.localdomain.org> parents: diff
changeset | 70 | $(SPHINXBUILD) -b htmlhelp $(ALLSPHINXOPTS) $(BUILDDIR)/htmlhelp | 
| 
be0906181a10
doc: Added source of http://vmm.localdomain.org/.
 Pascal Volk <user@localhost.localdomain.org> parents: diff
changeset | 71 | 	@echo | 
| 
be0906181a10
doc: Added source of http://vmm.localdomain.org/.
 Pascal Volk <user@localhost.localdomain.org> parents: diff
changeset | 72 | @echo "Build finished; now you can run HTML Help Workshop with the" \ | 
| 
be0906181a10
doc: Added source of http://vmm.localdomain.org/.
 Pascal Volk <user@localhost.localdomain.org> parents: diff
changeset | 73 | ".hhp project file in $(BUILDDIR)/htmlhelp." | 
| 
be0906181a10
doc: Added source of http://vmm.localdomain.org/.
 Pascal Volk <user@localhost.localdomain.org> parents: diff
changeset | 74 | |
| 
be0906181a10
doc: Added source of http://vmm.localdomain.org/.
 Pascal Volk <user@localhost.localdomain.org> parents: diff
changeset | 75 | qthelp: | 
| 
be0906181a10
doc: Added source of http://vmm.localdomain.org/.
 Pascal Volk <user@localhost.localdomain.org> parents: diff
changeset | 76 | $(SPHINXBUILD) -b qthelp $(ALLSPHINXOPTS) $(BUILDDIR)/qthelp | 
| 
be0906181a10
doc: Added source of http://vmm.localdomain.org/.
 Pascal Volk <user@localhost.localdomain.org> parents: diff
changeset | 77 | 	@echo | 
| 
be0906181a10
doc: Added source of http://vmm.localdomain.org/.
 Pascal Volk <user@localhost.localdomain.org> parents: diff
changeset | 78 | @echo "Build finished; now you can run "qcollectiongenerator" with the" \ | 
| 
be0906181a10
doc: Added source of http://vmm.localdomain.org/.
 Pascal Volk <user@localhost.localdomain.org> parents: diff
changeset | 79 | ".qhcp project file in $(BUILDDIR)/qthelp, like this:" | 
| 
be0906181a10
doc: Added source of http://vmm.localdomain.org/.
 Pascal Volk <user@localhost.localdomain.org> parents: diff
changeset | 80 | @echo "# qcollectiongenerator $(BUILDDIR)/qthelp/vmm.qhcp" | 
| 
be0906181a10
doc: Added source of http://vmm.localdomain.org/.
 Pascal Volk <user@localhost.localdomain.org> parents: diff
changeset | 81 | @echo "To view the help file:" | 
| 
be0906181a10
doc: Added source of http://vmm.localdomain.org/.
 Pascal Volk <user@localhost.localdomain.org> parents: diff
changeset | 82 | @echo "# assistant -collectionFile $(BUILDDIR)/qthelp/vmm.qhc" | 
| 
be0906181a10
doc: Added source of http://vmm.localdomain.org/.
 Pascal Volk <user@localhost.localdomain.org> parents: diff
changeset | 83 | |
| 
be0906181a10
doc: Added source of http://vmm.localdomain.org/.
 Pascal Volk <user@localhost.localdomain.org> parents: diff
changeset | 84 | devhelp: | 
| 
be0906181a10
doc: Added source of http://vmm.localdomain.org/.
 Pascal Volk <user@localhost.localdomain.org> parents: diff
changeset | 85 | $(SPHINXBUILD) -b devhelp $(ALLSPHINXOPTS) $(BUILDDIR)/devhelp | 
| 
be0906181a10
doc: Added source of http://vmm.localdomain.org/.
 Pascal Volk <user@localhost.localdomain.org> parents: diff
changeset | 86 | 	@echo | 
| 
be0906181a10
doc: Added source of http://vmm.localdomain.org/.
 Pascal Volk <user@localhost.localdomain.org> parents: diff
changeset | 87 | @echo "Build finished." | 
| 
be0906181a10
doc: Added source of http://vmm.localdomain.org/.
 Pascal Volk <user@localhost.localdomain.org> parents: diff
changeset | 88 | @echo "To view the help file:" | 
| 
be0906181a10
doc: Added source of http://vmm.localdomain.org/.
 Pascal Volk <user@localhost.localdomain.org> parents: diff
changeset | 89 | @echo "# mkdir -p $$HOME/.local/share/devhelp/vmm" | 
| 
be0906181a10
doc: Added source of http://vmm.localdomain.org/.
 Pascal Volk <user@localhost.localdomain.org> parents: diff
changeset | 90 | @echo "# ln -s $(BUILDDIR)/devhelp $$HOME/.local/share/devhelp/vmm" | 
| 
be0906181a10
doc: Added source of http://vmm.localdomain.org/.
 Pascal Volk <user@localhost.localdomain.org> parents: diff
changeset | 91 | @echo "# devhelp" | 
| 
be0906181a10
doc: Added source of http://vmm.localdomain.org/.
 Pascal Volk <user@localhost.localdomain.org> parents: diff
changeset | 92 | |
| 
be0906181a10
doc: Added source of http://vmm.localdomain.org/.
 Pascal Volk <user@localhost.localdomain.org> parents: diff
changeset | 93 | epub: | 
| 
be0906181a10
doc: Added source of http://vmm.localdomain.org/.
 Pascal Volk <user@localhost.localdomain.org> parents: diff
changeset | 94 | $(SPHINXBUILD) -b epub $(ALLSPHINXOPTS) $(BUILDDIR)/epub | 
| 
be0906181a10
doc: Added source of http://vmm.localdomain.org/.
 Pascal Volk <user@localhost.localdomain.org> parents: diff
changeset | 95 | 	@echo | 
| 
be0906181a10
doc: Added source of http://vmm.localdomain.org/.
 Pascal Volk <user@localhost.localdomain.org> parents: diff
changeset | 96 | @echo "Build finished. The epub file is in $(BUILDDIR)/epub." | 
| 
be0906181a10
doc: Added source of http://vmm.localdomain.org/.
 Pascal Volk <user@localhost.localdomain.org> parents: diff
changeset | 97 | |
| 
be0906181a10
doc: Added source of http://vmm.localdomain.org/.
 Pascal Volk <user@localhost.localdomain.org> parents: diff
changeset | 98 | latex: | 
| 
be0906181a10
doc: Added source of http://vmm.localdomain.org/.
 Pascal Volk <user@localhost.localdomain.org> parents: diff
changeset | 99 | $(SPHINXBUILD) -b latex $(ALLSPHINXOPTS) $(BUILDDIR)/latex | 
| 
be0906181a10
doc: Added source of http://vmm.localdomain.org/.
 Pascal Volk <user@localhost.localdomain.org> parents: diff
changeset | 100 | 	@echo | 
| 
be0906181a10
doc: Added source of http://vmm.localdomain.org/.
 Pascal Volk <user@localhost.localdomain.org> parents: diff
changeset | 101 | @echo "Build finished; the LaTeX files are in $(BUILDDIR)/latex." | 
| 
be0906181a10
doc: Added source of http://vmm.localdomain.org/.
 Pascal Volk <user@localhost.localdomain.org> parents: diff
changeset | 102 | @echo "Run \`make' in that directory to run these through (pdf)latex" \ | 
| 
be0906181a10
doc: Added source of http://vmm.localdomain.org/.
 Pascal Volk <user@localhost.localdomain.org> parents: diff
changeset | 103 | "(use \`make latexpdf' here to do that automatically)." | 
| 
be0906181a10
doc: Added source of http://vmm.localdomain.org/.
 Pascal Volk <user@localhost.localdomain.org> parents: diff
changeset | 104 | |
| 
be0906181a10
doc: Added source of http://vmm.localdomain.org/.
 Pascal Volk <user@localhost.localdomain.org> parents: diff
changeset | 105 | latexpdf: | 
| 
be0906181a10
doc: Added source of http://vmm.localdomain.org/.
 Pascal Volk <user@localhost.localdomain.org> parents: diff
changeset | 106 | $(SPHINXBUILD) -b latex $(ALLSPHINXOPTS) $(BUILDDIR)/latex | 
| 
be0906181a10
doc: Added source of http://vmm.localdomain.org/.
 Pascal Volk <user@localhost.localdomain.org> parents: diff
changeset | 107 | @echo "Running LaTeX files through pdflatex..." | 
| 
be0906181a10
doc: Added source of http://vmm.localdomain.org/.
 Pascal Volk <user@localhost.localdomain.org> parents: diff
changeset | 108 | $(MAKE) -C $(BUILDDIR)/latex all-pdf | 
| 
be0906181a10
doc: Added source of http://vmm.localdomain.org/.
 Pascal Volk <user@localhost.localdomain.org> parents: diff
changeset | 109 | @echo "pdflatex finished; the PDF files are in $(BUILDDIR)/latex." | 
| 
be0906181a10
doc: Added source of http://vmm.localdomain.org/.
 Pascal Volk <user@localhost.localdomain.org> parents: diff
changeset | 110 | |
| 
be0906181a10
doc: Added source of http://vmm.localdomain.org/.
 Pascal Volk <user@localhost.localdomain.org> parents: diff
changeset | 111 | text: | 
| 
be0906181a10
doc: Added source of http://vmm.localdomain.org/.
 Pascal Volk <user@localhost.localdomain.org> parents: diff
changeset | 112 | $(SPHINXBUILD) -b text $(ALLSPHINXOPTS) $(BUILDDIR)/text | 
| 
be0906181a10
doc: Added source of http://vmm.localdomain.org/.
 Pascal Volk <user@localhost.localdomain.org> parents: diff
changeset | 113 | 	@echo | 
| 
be0906181a10
doc: Added source of http://vmm.localdomain.org/.
 Pascal Volk <user@localhost.localdomain.org> parents: diff
changeset | 114 | @echo "Build finished. The text files are in $(BUILDDIR)/text." | 
| 
be0906181a10
doc: Added source of http://vmm.localdomain.org/.
 Pascal Volk <user@localhost.localdomain.org> parents: diff
changeset | 115 | |
| 
be0906181a10
doc: Added source of http://vmm.localdomain.org/.
 Pascal Volk <user@localhost.localdomain.org> parents: diff
changeset | 116 | man: | 
| 
be0906181a10
doc: Added source of http://vmm.localdomain.org/.
 Pascal Volk <user@localhost.localdomain.org> parents: diff
changeset | 117 | $(SPHINXBUILD) -b man $(ALLSPHINXOPTS) $(BUILDDIR)/man | 
| 
be0906181a10
doc: Added source of http://vmm.localdomain.org/.
 Pascal Volk <user@localhost.localdomain.org> parents: diff
changeset | 118 | 	@echo | 
| 
be0906181a10
doc: Added source of http://vmm.localdomain.org/.
 Pascal Volk <user@localhost.localdomain.org> parents: diff
changeset | 119 | @echo "Build finished. The manual pages are in $(BUILDDIR)/man." | 
| 
be0906181a10
doc: Added source of http://vmm.localdomain.org/.
 Pascal Volk <user@localhost.localdomain.org> parents: diff
changeset | 120 | |
| 
be0906181a10
doc: Added source of http://vmm.localdomain.org/.
 Pascal Volk <user@localhost.localdomain.org> parents: diff
changeset | 121 | texinfo: | 
| 
be0906181a10
doc: Added source of http://vmm.localdomain.org/.
 Pascal Volk <user@localhost.localdomain.org> parents: diff
changeset | 122 | $(SPHINXBUILD) -b texinfo $(ALLSPHINXOPTS) $(BUILDDIR)/texinfo | 
| 
be0906181a10
doc: Added source of http://vmm.localdomain.org/.
 Pascal Volk <user@localhost.localdomain.org> parents: diff
changeset | 123 | 	@echo | 
| 
be0906181a10
doc: Added source of http://vmm.localdomain.org/.
 Pascal Volk <user@localhost.localdomain.org> parents: diff
changeset | 124 | @echo "Build finished. The Texinfo files are in $(BUILDDIR)/texinfo." | 
| 
be0906181a10
doc: Added source of http://vmm.localdomain.org/.
 Pascal Volk <user@localhost.localdomain.org> parents: diff
changeset | 125 | @echo "Run \`make' in that directory to run these through makeinfo" \ | 
| 
be0906181a10
doc: Added source of http://vmm.localdomain.org/.
 Pascal Volk <user@localhost.localdomain.org> parents: diff
changeset | 126 | "(use \`make info' here to do that automatically)." | 
| 
be0906181a10
doc: Added source of http://vmm.localdomain.org/.
 Pascal Volk <user@localhost.localdomain.org> parents: diff
changeset | 127 | |
| 
be0906181a10
doc: Added source of http://vmm.localdomain.org/.
 Pascal Volk <user@localhost.localdomain.org> parents: diff
changeset | 128 | info: | 
| 
be0906181a10
doc: Added source of http://vmm.localdomain.org/.
 Pascal Volk <user@localhost.localdomain.org> parents: diff
changeset | 129 | $(SPHINXBUILD) -b texinfo $(ALLSPHINXOPTS) $(BUILDDIR)/texinfo | 
| 
be0906181a10
doc: Added source of http://vmm.localdomain.org/.
 Pascal Volk <user@localhost.localdomain.org> parents: diff
changeset | 130 | @echo "Running Texinfo files through makeinfo..." | 
| 
be0906181a10
doc: Added source of http://vmm.localdomain.org/.
 Pascal Volk <user@localhost.localdomain.org> parents: diff
changeset | 131 | make -C $(BUILDDIR)/texinfo info | 
| 
be0906181a10
doc: Added source of http://vmm.localdomain.org/.
 Pascal Volk <user@localhost.localdomain.org> parents: diff
changeset | 132 | @echo "makeinfo finished; the Info files are in $(BUILDDIR)/texinfo." | 
| 
be0906181a10
doc: Added source of http://vmm.localdomain.org/.
 Pascal Volk <user@localhost.localdomain.org> parents: diff
changeset | 133 | |
| 
be0906181a10
doc: Added source of http://vmm.localdomain.org/.
 Pascal Volk <user@localhost.localdomain.org> parents: diff
changeset | 134 | gettext: | 
| 
be0906181a10
doc: Added source of http://vmm.localdomain.org/.
 Pascal Volk <user@localhost.localdomain.org> parents: diff
changeset | 135 | $(SPHINXBUILD) -b gettext $(I18NSPHINXOPTS) $(BUILDDIR)/locale | 
| 
be0906181a10
doc: Added source of http://vmm.localdomain.org/.
 Pascal Volk <user@localhost.localdomain.org> parents: diff
changeset | 136 | 	@echo | 
| 
be0906181a10
doc: Added source of http://vmm.localdomain.org/.
 Pascal Volk <user@localhost.localdomain.org> parents: diff
changeset | 137 | @echo "Build finished. The message catalogs are in $(BUILDDIR)/locale." | 
| 
be0906181a10
doc: Added source of http://vmm.localdomain.org/.
 Pascal Volk <user@localhost.localdomain.org> parents: diff
changeset | 138 | |
| 
be0906181a10
doc: Added source of http://vmm.localdomain.org/.
 Pascal Volk <user@localhost.localdomain.org> parents: diff
changeset | 139 | changes: | 
| 
be0906181a10
doc: Added source of http://vmm.localdomain.org/.
 Pascal Volk <user@localhost.localdomain.org> parents: diff
changeset | 140 | $(SPHINXBUILD) -b changes $(ALLSPHINXOPTS) $(BUILDDIR)/changes | 
| 
be0906181a10
doc: Added source of http://vmm.localdomain.org/.
 Pascal Volk <user@localhost.localdomain.org> parents: diff
changeset | 141 | 	@echo | 
| 
be0906181a10
doc: Added source of http://vmm.localdomain.org/.
 Pascal Volk <user@localhost.localdomain.org> parents: diff
changeset | 142 | @echo "The overview file is in $(BUILDDIR)/changes." | 
| 
be0906181a10
doc: Added source of http://vmm.localdomain.org/.
 Pascal Volk <user@localhost.localdomain.org> parents: diff
changeset | 143 | |
| 
be0906181a10
doc: Added source of http://vmm.localdomain.org/.
 Pascal Volk <user@localhost.localdomain.org> parents: diff
changeset | 144 | linkcheck: | 
| 
be0906181a10
doc: Added source of http://vmm.localdomain.org/.
 Pascal Volk <user@localhost.localdomain.org> parents: diff
changeset | 145 | $(SPHINXBUILD) -b linkcheck $(ALLSPHINXOPTS) $(BUILDDIR)/linkcheck | 
| 
be0906181a10
doc: Added source of http://vmm.localdomain.org/.
 Pascal Volk <user@localhost.localdomain.org> parents: diff
changeset | 146 | 	@echo | 
| 
be0906181a10
doc: Added source of http://vmm.localdomain.org/.
 Pascal Volk <user@localhost.localdomain.org> parents: diff
changeset | 147 | @echo "Link check complete; look for any errors in the above output " \ | 
| 
be0906181a10
doc: Added source of http://vmm.localdomain.org/.
 Pascal Volk <user@localhost.localdomain.org> parents: diff
changeset | 148 | "or in $(BUILDDIR)/linkcheck/output.txt." | 
| 
be0906181a10
doc: Added source of http://vmm.localdomain.org/.
 Pascal Volk <user@localhost.localdomain.org> parents: diff
changeset | 149 | |
| 
be0906181a10
doc: Added source of http://vmm.localdomain.org/.
 Pascal Volk <user@localhost.localdomain.org> parents: diff
changeset | 150 | doctest: | 
| 
be0906181a10
doc: Added source of http://vmm.localdomain.org/.
 Pascal Volk <user@localhost.localdomain.org> parents: diff
changeset | 151 | $(SPHINXBUILD) -b doctest $(ALLSPHINXOPTS) $(BUILDDIR)/doctest | 
| 
be0906181a10
doc: Added source of http://vmm.localdomain.org/.
 Pascal Volk <user@localhost.localdomain.org> parents: diff
changeset | 152 | @echo "Testing of doctests in the sources finished, look at the " \ | 
| 
be0906181a10
doc: Added source of http://vmm.localdomain.org/.
 Pascal Volk <user@localhost.localdomain.org> parents: diff
changeset | 153 | "results in $(BUILDDIR)/doctest/output.txt." |