diff options
Diffstat (limited to 'doc/Makefile.am')
| -rw-r--r-- | doc/Makefile.am | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/Makefile.am b/doc/Makefile.am index 45379d18b9..d28c571247 100644 --- a/doc/Makefile.am +++ b/doc/Makefile.am @@ -30,7 +30,7 @@ doc_DATA = $(asciidoc_files:=.html) asciidoc_product = $(nodist_man_MANS) $(doc_DATA) -SUBDIRS = design-paper spec +SUBDIRS = spec DIST_SUBDIRS = spec |