diff options
| author | Martin Schanzenbach <schanzen@gnunet.org> | 2022-09-25 21:58:12 +0900 |
|---|---|---|
| committer | Martin Schanzenbach <schanzen@gnunet.org> | 2022-09-25 21:58:12 +0900 |
| commit | 6d7310737e0bf680b08451fb33ecc2bdb0a66395 (patch) | |
| tree | b943042146f6034a5d9711ac105751e9ed305678 /doc/Makefile.am | |
| parent | 82a7bd8af34060d352348241e139dbcd775311f5 (diff) | |
| download | gnunet-6d7310737e0bf680b08451fb33ecc2bdb0a66395.tar.gz gnunet-6d7310737e0bf680b08451fb33ecc2bdb0a66395.zip | |
-fix
Diffstat (limited to 'doc/Makefile.am')
| -rw-r--r-- | doc/Makefile.am | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/doc/Makefile.am b/doc/Makefile.am index cfcb55453..dbaa51d39 100644 --- a/doc/Makefile.am +++ b/doc/Makefile.am | |||
| @@ -26,6 +26,7 @@ EXTRA_DIST = \ | |||
| 26 | $(info_TEXINFOS) \ | 26 | $(info_TEXINFOS) \ |
| 27 | system_specific/outdated-and-old-installation-instructions.txt \ | 27 | system_specific/outdated-and-old-installation-instructions.txt \ |
| 28 | system_specific/FROM_SOURCE \ | 28 | system_specific/FROM_SOURCE \ |
| 29 | sphinx/_build/html \ | ||
| 29 | sphinx/about.rst \ | 30 | sphinx/about.rst \ |
| 30 | sphinx/conf.py \ | 31 | sphinx/conf.py \ |
| 31 | sphinx/faq.rst \ | 32 | sphinx/faq.rst \ |