diff options
author | Sergey Poznyakoff <gray@gnu.org> | 2015-03-01 23:08:44 +0200 |
---|---|---|
committer | Sergey Poznyakoff <gray@gnu.org> | 2015-03-01 23:08:44 +0200 |
commit | b0d2697f689348976da7aefd506b3d8b6fdee420 (patch) | |
tree | 84fe8a7b71536d4cdbbd57c8833160006b46cf1c /imprimatur | |
parent | 891bb67de28c778827d4841b04d440caac8be18a (diff) | |
download | pies-b0d2697f689348976da7aefd506b3d8b6fdee420.tar.gz pies-b0d2697f689348976da7aefd506b3d8b6fdee420.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
* 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 |