diff options
Diffstat (limited to 'manual/Makefile')
| -rw-r--r-- | manual/Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/manual/Makefile b/manual/Makefile index 47656c6c7f..2314c0c93d 100644 --- a/manual/Makefile +++ b/manual/Makefile @@ -111,7 +111,7 @@ doc-only-dist = Makefile COPYING.LIB distribute = $(minimal-dist) $(examples) texis stdio-fp.c \ libc.info* libc.?? libc.??s texinfo.tex stamp-summary \ xtract-typefun.awk dir-add.texinfo dir-add.info dir \ - chapters.texi top-menu.texi + chapters.texi top-menu.texi summary.texi export distribute := $(distribute) tar-it = tar chovf $@ $^ |