diff options
author | Martin Schanzenbach <schanzen@gnunet.org> | 2022-09-10 11:59:19 +0200 |
---|---|---|
committer | Martin Schanzenbach <schanzen@gnunet.org> | 2022-09-10 11:59:19 +0200 |
commit | 3babda033edcb0a80d8cb2674705017c30f7ba15 (patch) | |
tree | f12a4cf3faa35a0a7ef418c2aa78e68e1810f0c6 /doc | |
parent | 729ac688d9350dca19e8f96e2b490f87643a18da (diff) | |
download | gnunet-3babda033edcb0a80d8cb2674705017c30f7ba15.tar.gz gnunet-3babda033edcb0a80d8cb2674705017c30f7ba15.zip |
-fix make dist
Diffstat (limited to 'doc')
-rw-r--r-- | doc/Makefile.am | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/doc/Makefile.am b/doc/Makefile.am index aa83ce675..f4a0e4dcd 100644 --- a/doc/Makefile.am +++ b/doc/Makefile.am | |||
@@ -32,8 +32,8 @@ EXTRA_DIST = \ | |||
32 | sphinx/installing.rst \ | 32 | sphinx/installing.rst \ |
33 | sphinx/livingstandards.rst \ | 33 | sphinx/livingstandards.rst \ |
34 | sphinx/make.bat \ | 34 | sphinx/make.bat \ |
35 | sphinx/man_developers \ | 35 | sphinx/developers \ |
36 | sphinx/man_users \ | 36 | sphinx/users \ |
37 | sphinx/preface.rst \ | 37 | sphinx/preface.rst \ |
38 | sphinx/_static \ | 38 | sphinx/_static \ |
39 | sphinx/Makefile | 39 | sphinx/Makefile |