diff options
Diffstat (limited to 'docs/en/Makefile')
| -rw-r--r-- | docs/en/Makefile | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/docs/en/Makefile b/docs/en/Makefile index afbe6ee26..c0708059d 100644 --- a/docs/en/Makefile +++ b/docs/en/Makefile @@ -108,6 +108,11 @@ latexpdf: $(MAKE) -C $(BUILDDIR)/latex all-pdf @echo "pdflatex finished; the PDF files are in $(BUILDDIR)/latex." +pdf: + $(SPHINXBUILD) -b pdf -t enable_rst2pdf $(ALLSPHINXOPTS) $(BUILDDIR)/pdf + @echo + @echo "Build finished. The PDF file is in $(BUILDDIR)/pdf." + text: $(SPHINXBUILD) -b text $(ALLSPHINXOPTS) $(BUILDDIR)/txt @echo |