diff options
| -rw-r--r-- | doc/Makefile.am | 4 | ||||
| -rw-r--r-- | doc/libextractor.texi (renamed from doc/extractor.texi) | 0 |
2 files changed, 2 insertions, 2 deletions
diff --git a/doc/Makefile.am b/doc/Makefile.am index ba12bde..1d411b4 100644 --- a/doc/Makefile.am +++ b/doc/Makefile.am | |||
| @@ -1,7 +1,7 @@ | |||
| 1 | man_MANS = extract.1 libextractor.3 | 1 | man_MANS = extract.1 libextractor.3 |
| 2 | EXTRA_DIST = $(man_MANS) | 2 | EXTRA_DIST = $(man_MANS) |
| 3 | 3 | ||
| 4 | DISTCLEANFILES = extractor.cps | 4 | DISTCLEANFILES = libextractor.cps |
| 5 | info_TEXINFOS = extractor.texi | 5 | info_TEXINFOS = libextractor.texi |
| 6 | extractor_TEXINFOS = gpl.texi | 6 | extractor_TEXINFOS = gpl.texi |
| 7 | 7 | ||
diff --git a/doc/extractor.texi b/doc/libextractor.texi index 868a499..868a499 100644 --- a/doc/extractor.texi +++ b/doc/libextractor.texi | |||