diff options
| -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 |