summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorMartin Schanzenbach <schanzen@gnunet.org>2022-08-11 08:06:28 +0200
committerMartin Schanzenbach <schanzen@gnunet.org>2022-08-11 08:06:28 +0200
commit460f0d77bc448909da1d673f4540b73a936af44f (patch)
tree4cd8c24ef584e8f100f0f3248fc3802e78b2581d
parente9023bbcf93e35bee6e14c9d32b7ac223dcdd48f (diff)
DOC: Fix dist missing makefilev0.17.4
-rw-r--r--doc/Makefile.am3
1 files changed, 2 insertions, 1 deletions
diff --git a/doc/Makefile.am b/doc/Makefile.am
index d0c4d8b3e..38bf23733 100644
--- a/doc/Makefile.am
+++ b/doc/Makefile.am
@@ -34,6 +34,7 @@ EXTRA_DIST = \
sphinx/man_developers \
sphinx/man_users \
sphinx/preface.rst \
- sphinx/_static
+ sphinx/_static \
+ sphinx/Makefile