commit 18f809556da253ad86f1ce889115fd55e4ea539b
parent e281fa0e936e404130608607f277733d2112f853
Author: Martin Schanzenbach <schanzen@gnunet.org>
Date: Fri, 5 Aug 2022 09:49:00 +0200
extra_dist
Diffstat:
1 file changed, 18 insertions(+), 2 deletions(-)
diff --git a/Makefile.am b/Makefile.am
@@ -8,10 +8,10 @@ SPHINXBUILD ?= sphinx-build
SOURCEDIR = .
BUILDDIR = _build
-all: html man
-
.PHONY: all help Makefile
+all: html man
+
# TODO implement install uninstall and distdir(?)
# Put it first so that "make" without argument is like "make help".
@@ -22,6 +22,22 @@ _build/man/gnunet.1: Makefile man
man_MANS = _build/man/gnunet.1
+EXTRA_DIST = \
+ about.rst \
+ conf.py \
+ faq.rst \
+ gana.rst \
+ guis \
+ index.rst \
+ installing.rst \
+ livingstandards.rst \
+ make.bat \
+ man_developers \
+ man_users \
+ preface.rst \
+ _static \
+ _templates
+
html: Makefile
@$(SPHINXBUILD) -M html "$(SOURCEDIR)" "$(BUILDDIR)" $(SPHINXOPTS) $(O)
