aboutsummaryrefslogtreecommitdiff
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)
downloadgnunet-460f0d77bc448909da1d673f4540b73a936af44f.tar.gz
gnunet-460f0d77bc448909da1d673f4540b73a936af44f.zip
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 = \
34 sphinx/man_developers \ 34 sphinx/man_developers \
35 sphinx/man_users \ 35 sphinx/man_users \
36 sphinx/preface.rst \ 36 sphinx/preface.rst \
37 sphinx/_static 37 sphinx/_static \
38 sphinx/Makefile
38 39
39 40