gnunet-handbook

commit 01be27bdbac7190e377d593ac978104b8f622eae
parent 0f3577142f9e9fb623ddbb28ffe9766b52c8e47b
Author: Martin Schanzenbach <schanzen@gnunet.org>
Date:   Sat,  1 Oct 2022 16:58:10 +0900

all target, portability

Diffstat:
M
Makefile
 | 
6
++++--

1 file changed, 4 insertions(+), 2 deletions(-)
diff --git a/Makefile b/Makefile
@@ -8,6 +8,8 @@ SPHINXBUILD   ?= sphinx-build
 SOURCEDIR     = .
 BUILDDIR      = _build
 
+all: man html info
+
 # Put it first so that "make" without argument is like "make help".
 help:
 	@$(SPHINXBUILD) -M help "$(SOURCEDIR)" "$(BUILDDIR)" $(SPHINXOPTS) $(O)
@@ -24,5 +26,5 @@ 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)
+#%: Makefile
+#	@$(SPHINXBUILD) -M $@ "$(SOURCEDIR)" "$(BUILDDIR)" $(SPHINXOPTS) $(O)