| author | Pascal Volk <user@localhost.localdomain.org> | 
| Sun, 04 Nov 2012 18:02:19 +0000 | |
| branch | v0.7.x | 
| changeset 636 | 27334cfc0c90 | 
| 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."  |