summaryrefslogtreecommitdiff
path: root/doc/Makefile
diff options
context:
space:
mode:
authorXavier Morel <xmo@odoo.com>2015-07-06 17:39:19 +0200
committerXavier Morel <xmo@odoo.com>2015-07-07 11:22:50 +0200
commit95e56a109d5abc97ab7db1ee1c9b9efb66a7e362 (patch)
treeeed458208184022af42b119d9c26219716c67fab /doc/Makefile
parentb4efb4eeb3e0e7b27a113ad914d5a18e50f8718d (diff)
[ADD] doc: new theme
Pretty much completely rewritten theme with custom HTML translator and a few parts of the old theme extracted to their own extensions. Banner images thought not to be that huge after all, and not worth the hassle of them living in a different repository. co-authored with @stefanorigano
Diffstat (limited to 'doc/Makefile')
-rw-r--r--doc/Makefile5
1 files changed, 5 insertions, 0 deletions
diff --git a/doc/Makefile b/doc/Makefile
index c456284fcfb..0808b6736b5 100644
--- a/doc/Makefile
+++ b/doc/Makefile
@@ -152,3 +152,8 @@ doctest:
$(SPHINXBUILD) -b doctest $(ALLSPHINXOPTS) $(BUILDDIR)/doctest
@echo "Testing of doctests in the sources finished, look at the " \
"results in $(BUILDDIR)/doctest/output.txt."
+
+pseudoxml:
+ $(SPHINXBUILD) -b pseudoxml $(ALLSPHINXOPTS) $(BUILDDIR)/pseudoxml
+ @echo
+ @echo "Build finished. The pseudo-XML files are in $(BUILDDIR)/pseudoxml."