Quellcodebibliothek Statistik Leitseite products/sources/formale Sprachen/GAP/pkg/semigroups/libsemigroups/docs/   (Algebra von RWTH Aachen Version 4.15.1©)  Datei vom 18.5.2025 mit Größe 6 kB image not shown  

Quelle  Makefile   Sprache: unbekannt

 
# You can set these variables from the command line.
SPHINXBUILD   = sphinx-build
PAPER         =
BUILDDIR      = build

# User-friendly check for sphinx-build
ifeq ($(shell which $(SPHINXBUILD) >/dev/null 2>&1; echo $$?), 1)
$(error The '$(SPHINXBUILD)' command was not found. Make sure you have Sphinx installed, then set the SPHINXBUILD environment variable to point to the full path of the '$(SPHINXBUILD)' executable. Alternatively you can add the directory with the executable to your PATH. If you don't have Sphinx installed, grab it from http://sphinx-doc.org/)
endif

# Internal variables.
PAPEROPT_a4     = -D latex_paper_size=a4
PAPEROPT_letter = -D latex_paper_size=letter
ALLSPHINXOPTS   = -d $(BUILDDIR)/doctrees $(PAPEROPT_$(PAPER)) $(SPHINXOPTS) source
# the i18n builder cannot share the environment and doctrees with the others
I18NSPHINXOPTS  = $(PAPEROPT_$(PAPER)) $(SPHINXOPTS) source

.PHONY: help clean html dirhtml singlehtml pickle json htmlhelp qthelp devhelp epub latex latexpdf text man changes linkcheck doctest coverage gettext api html-no-doxy

default: html

help:
 @echo "Please use \`make <target>' where <target> is one of"
 @echo "  html       to make standalone HTML files"
 @echo "  dirhtml    to make HTML files named index.html in directories"
 @echo "  singlehtml to make a single large HTML file"
 @echo "  pickle     to make pickle files"
 @echo "  json       to make JSON files"
 @echo "  htmlhelp   to make HTML files and a HTML help project"
 @echo "  qthelp     to make HTML files and a qthelp project"
 @echo "  applehelp  to make an Apple Help Book"
 @echo "  devhelp    to make HTML files and a Devhelp project"
 @echo "  epub       to make an epub"
 @echo "  latex      to make LaTeX files, you can set PAPER=a4 or PAPER=letter"
 @echo "  latexpdf   to make LaTeX files and run them through pdflatex"
 @echo "  latexpdfja to make LaTeX files and run them through platex/dvipdfmx"
 @echo "  text       to make text files"
 @echo "  man        to make manual pages"
 @echo "  texinfo    to make Texinfo files"
 @echo "  info       to make Texinfo files and run them through makeinfo"
 @echo "  gettext    to make PO message catalogs"
 @echo "  changes    to make an overview of all changed/added/deprecated items"
 @echo "  xml        to make Docutils-native XML files"
 @echo "  pseudoxml  to make pseudoxml-XML files for display purposes"
 @echo "  linkcheck  to check all external links for integrity"
 @echo "  doctest    to run all doctests embedded in the documentation (if enabled)"
 @echo "  coverage   to run coverage check of the documentation (if enabled)"

clean:
 rm -rf $(BUILDDIR)/*

html-no-doxy:
 $(SPHINXBUILD) -b html $(ALLSPHINXOPTS) $(BUILDDIR)/html
 @echo
 @echo "Build finished. The HTML pages are in $(BUILDDIR)/html."

html:
 doxygen
 $(SPHINXBUILD) -b html $(ALLSPHINXOPTS) $(BUILDDIR)/html
 @echo
 @echo "Build finished. The HTML pages are in $(BUILDDIR)/html."

dirhtml:
 doxygen
 $(SPHINXBUILD) -b dirhtml $(ALLSPHINXOPTS) $(BUILDDIR)/dirhtml
 @echo
 @echo "Build finished. The HTML pages are in $(BUILDDIR)/dirhtml."

singlehtml:
 doxygen
 $(SPHINXBUILD) -b singlehtml $(ALLSPHINXOPTS) $(BUILDDIR)/singlehtml
 @echo
 @echo "Build finished. The HTML page is in $(BUILDDIR)/singlehtml."

pickle:
 doxygen
 $(SPHINXBUILD) -b pickle $(ALLSPHINXOPTS) $(BUILDDIR)/pickle
 @echo
 @echo "Build finished; now you can process the pickle files."

json:
 doxygen
 $(SPHINXBUILD) -b json $(ALLSPHINXOPTS) $(BUILDDIR)/json
 @echo
 @echo "Build finished; now you can process the JSON files."

htmlhelp:
 doxygen
 $(SPHINXBUILD) -b htmlhelp $(ALLSPHINXOPTS) $(BUILDDIR)/htmlhelp
 @echo
 @echo "Build finished; now you can run HTML Help Workshop with the" \
       ".hhp project file in $(BUILDDIR)/htmlhelp."

epub:
 doxygen
 $(SPHINXBUILD) -b epub $(ALLSPHINXOPTS) $(BUILDDIR)/epub
 @echo
 @echo "Build finished. The epub file is in $(BUILDDIR)/epub."

latex:
 doxygen
 $(SPHINXBUILD) -b latex $(ALLSPHINXOPTS) $(BUILDDIR)/latex
 @echo
 @echo "Build finished; the LaTeX files are in $(BUILDDIR)/latex."
 @echo "Run \`make' in that directory to run these through (pdf)latex" \
       "(use \`make latexpdf' here to do that automatically)."

latexpdf:
 doxygen
 $(SPHINXBUILD) -b latex $(ALLSPHINXOPTS) $(BUILDDIR)/latex
 @echo "Running LaTeX files through pdflatex..."
 $(MAKE) -C $(BUILDDIR)/latex all-pdf
 @echo "pdflatex finished; the PDF files are in $(BUILDDIR)/latex."

latexpdfja:
 doxygen
 $(SPHINXBUILD) -b latex $(ALLSPHINXOPTS) $(BUILDDIR)/latex
 @echo "Running LaTeX files through platex and dvipdfmx..."
 $(MAKE) -C $(BUILDDIR)/latex all-pdf-ja
 @echo "pdflatex finished; the PDF files are in $(BUILDDIR)/latex."

text:
 doxygen
 $(SPHINXBUILD) -b text $(ALLSPHINXOPTS) $(BUILDDIR)/text
 @echo
 @echo "Build finished. The text files are in $(BUILDDIR)/text."

man:
 doxygen
 $(SPHINXBUILD) -b man $(ALLSPHINXOPTS) $(BUILDDIR)/man
 @echo
 @echo "Build finished. The manual pages are in $(BUILDDIR)/man."

texinfo:
 doxygen
 $(SPHINXBUILD) -b texinfo $(ALLSPHINXOPTS) $(BUILDDIR)/texinfo
 @echo
 @echo "Build finished. The Texinfo files are in $(BUILDDIR)/texinfo."
 @echo "Run \`make' in that directory to run these through makeinfo" \
       "(use \`make info' here to do that automatically)."

info:
 doxygen
 $(SPHINXBUILD) -b texinfo $(ALLSPHINXOPTS) $(BUILDDIR)/texinfo
 @echo "Running Texinfo files through makeinfo..."
 make -C $(BUILDDIR)/texinfo info
 @echo "makeinfo finished; the Info files are in $(BUILDDIR)/texinfo."

gettext:
 doxygen
 $(SPHINXBUILD) -b gettext $(I18NSPHINXOPTS) $(BUILDDIR)/locale
 @echo
 @echo "Build finished. The message catalogs are in $(BUILDDIR)/locale."

changes:
 doxygen
 $(SPHINXBUILD) -b changes $(ALLSPHINXOPTS) $(BUILDDIR)/changes
 @echo
 @echo "The overview file is in $(BUILDDIR)/changes."

linkcheck:
 doxygen
 $(SPHINXBUILD) -b linkcheck $(ALLSPHINXOPTS) $(BUILDDIR)/linkcheck
 @echo
 @echo "Link check complete; look for any errors in the above output " \
       "or in $(BUILDDIR)/linkcheck/output.txt."

doctest:
 doxygen
 $(SPHINXBUILD) -b doctest $(ALLSPHINXOPTS) $(BUILDDIR)/doctest
 @echo "Testing of doctests in the sources finished, look at the " \
       "results in $(BUILDDIR)/doctest/output.txt."

coverage:
 doxygen
 $(SPHINXBUILD) -b coverage $(ALLSPHINXOPTS) $(BUILDDIR)/coverage
 @echo "Testing of coverage in the sources finished, look at the " \
       "results in $(BUILDDIR)/coverage/python.txt."

xml:
 doxygen
 $(SPHINXBUILD) -b xml $(ALLSPHINXOPTS) $(BUILDDIR)/xml
 @echo
 @echo "Build finished. The XML files are in $(BUILDDIR)/xml."

pseudoxml:
 doxygen
 $(SPHINXBUILD) -b pseudoxml $(ALLSPHINXOPTS) $(BUILDDIR)/pseudoxml
 @echo
 @echo "Build finished. The pseudo-XML files are in $(BUILDDIR)/pseudoxml."

[ Dauer der Verarbeitung: 0.5 Sekunden  (vorverarbeitet)  ]