diff options
author | Sergey Poznyakoff <gray@gnu.org.ua> | 2015-03-02 14:38:34 +0200 |
---|---|---|
committer | Sergey Poznyakoff <gray@gnu.org.ua> | 2015-03-02 14:39:32 +0200 |
commit | 448b11b3f51873392e916eec9dbe1dd11a96c72b (patch) | |
tree | adecc3e6cafd62ad2123415281ccec91f1a43817 /imprimatur | |
parent | fc34bf502a37736bc4d44cad6bd1c6230103b305 (diff) | |
download | cfpeek-448b11b3f51873392e916eec9dbe1dd11a96c72b.tar.gz cfpeek-448b11b3f51873392e916eec9dbe1dd11a96c72b.tar.bz2 |
Switch to Texinfo 5.0
* doc/Config: Rewrite.
* doc/Makefile.am: Use Makeinfo 5 instead of texi2htm
* doc/gendocs_template: Ps is not built
* doc/gendocs.sh: New file.
* imprimatur: Upgrade.
Diffstat (limited to 'imprimatur')
m--------- | imprimatur | 0 |
1 files changed, 0 insertions, 0 deletions
diff --git a/imprimatur b/imprimatur -Subproject 04255b6d5551952b4e0c94da15988f573e3e9fc +Subproject 6ddf5a88dbe7e919f9b40427718bf7379861107 |