commit 58326317224877f0c37cc4682332db906265e62b parent 945da50612081df6421f4d6618f1d5be690d647e Author: Martin Schanzenbach <schanzen@gnunet.org> Date: Wed, 3 Aug 2022 19:20:40 +0200 add am Diffstat:
| A | Makefile.am | | | 28 | ++++++++++++++++++++++++++++ |
1 file changed, 28 insertions(+), 0 deletions(-)
diff --git a/Makefile.am b/Makefile.am @@ -0,0 +1,28 @@ +# Minimal makefile for Sphinx documentation +# + +# You can set these variables from the command line, and also +# from the environment for the first two. +SPHINXOPTS ?= +SPHINXBUILD ?= sphinx-build +SOURCEDIR = . +BUILDDIR = _build + +all: html + +.PHONY: distdir uninstall install all help Makefile + +# TODO implement install uninstall and distdir(?) + +# Put it first so that "make" without argument is like "make help". +help: + @$(SPHINXBUILD) -M help "$(SOURCEDIR)" "$(BUILDDIR)" $(SPHINXOPTS) $(O) + +gnunet.1: Makefile man + +man_MANS = gnunet.1 + +# Catch-all target: route all unknown targets to Sphinx using the new +# "make mode" option. $(O) is meant as a shortcut for $(SPHINXOPTS). +%: Makefile + @$(SPHINXBUILD) -M $@ "$(SOURCEDIR)" "$(BUILDDIR)" $(SPHINXOPTS) $(O)