diff options
| author | Christian Grothoff <christian@grothoff.org> | 2012-09-08 08:32:35 +0000 |
|---|---|---|
| committer | Christian Grothoff <christian@grothoff.org> | 2012-09-08 08:32:35 +0000 |
| commit | 822a91c31359f6788dc34217e27840fc7e433753 (patch) | |
| tree | 5b239dff9238ce15b291ded963883071553cc8d7 | |
| parent | 8c550ce4041cc92aee067fb7709c04e0ec375038 (diff) | |
| download | libextractor-822a91c31359f6788dc34217e27840fc7e433753.tar.gz libextractor-822a91c31359f6788dc34217e27840fc7e433753.zip | |
renaming
| -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 | |||