gnunet-handbook

commit 5262f14c0bfed142e066850bfeddaebc5c7d2540
parent 93d463e05f7b04cf1b3e1e580bae68f37751641d
Author: Martin Schanzenbach <schanzen@gnunet.org>
Date:   Mon, 26 Sep 2022 00:04:31 +0900

Explicit info target

Diffstat:
M
Makefile
 | 
3
+++

1 file changed, 3 insertions(+), 0 deletions(-)
diff --git a/Makefile b/Makefile
@@ -20,6 +20,9 @@ man:
 html:
 	@$(SPHINXBUILD) -M html "$(SOURCEDIR)" "$(BUILDDIR)" $(SPHINXOPTS) $(O)
 
+info:
+	@$(SPHINXBUILD) -M info "$(SOURCEDIR)" "$(BUILDDIR)" $(SPHINXOPTS) $(O)
+
 # "make mode" option.  $(O) is meant as a shortcut for $(SPHINXOPTS).
 %: Makefile
 	@$(SPHINXBUILD) -M $@ "$(SOURCEDIR)" "$(BUILDDIR)" $(SPHINXOPTS) $(O)