commit 822a91c31359f6788dc34217e27840fc7e433753 parent 8c550ce4041cc92aee067fb7709c04e0ec375038 Author: Christian Grothoff <christian@grothoff.org> Date: Sat, 8 Sep 2012 08:32:35 +0000 renaming Diffstat:
| M | doc/Makefile.am | | | 4 | ++-- |
| R | doc/extractor.texi -> doc/libextractor.texi | | | 0 |
2 files changed, 2 insertions(+), 2 deletions(-)
diff --git a/doc/Makefile.am b/doc/Makefile.am @@ -1,7 +1,7 @@ man_MANS = extract.1 libextractor.3 EXTRA_DIST = $(man_MANS) -DISTCLEANFILES = extractor.cps -info_TEXINFOS = extractor.texi +DISTCLEANFILES = libextractor.cps +info_TEXINFOS = libextractor.texi extractor_TEXINFOS = gpl.texi diff --git a/doc/extractor.texi b/doc/libextractor.texi