gnunet-handbook

commit f2da4005a848af2ed2c8cacb9f7dfe3ffe7bcaec
parent 7b4f05b78016a84e6be77f1257d05652217eb6b7
Author: Martin Schanzenbach <schanzen@gnunet.org>
Date:   Sun,  2 Oct 2022 11:38:21 +0900

add texinfo

Diffstat:
M
Makefile
 | 
5
++++-

1 file changed, 4 insertions(+), 1 deletion(-)
diff --git a/Makefile b/Makefile
@@ -14,7 +14,7 @@ all: man html info
 help:
 	@$(SPHINXBUILD) -M help "$(SOURCEDIR)" "$(BUILDDIR)" $(SPHINXOPTS) $(O)
 
-.PHONY: all clean help install install-strip uninstall distclean check installcheck dist installcheck Makefile
+.PHONY: all clean help texinfo info man Makefile
 
 man:
 	@$(SPHINXBUILD) -M man "$(SOURCEDIR)" "$(BUILDDIR)" $(SPHINXOPTS) $(O)
@@ -22,6 +22,9 @@ man:
 html:
 	@$(SPHINXBUILD) -M html "$(SOURCEDIR)" "$(BUILDDIR)" $(SPHINXOPTS) $(O)
 
+texinfo:
+	@$(SPHINXBUILD) -M texinfo "$(SOURCEDIR)" "$(BUILDDIR)" $(SPHINXOPTS) $(O)
+
 info:
 	@$(SPHINXBUILD) -M info "$(SOURCEDIR)" "$(BUILDDIR)" $(SPHINXOPTS) $(O)