diff options
author | Sergey Poznyakoff <gray@gnu.org> | 2015-03-01 22:47:09 +0200 |
---|---|---|
committer | Sergey Poznyakoff <gray@gnu.org> | 2015-03-01 22:47:09 +0200 |
commit | 3e205088b3b3434ba17bf08b39f2a5fa1fc6a3b0 (patch) | |
tree | 47f9257ffb4bd5f62743966918950e9586d90c75 /scripts | |
parent | ad8c9359649fa7123efc46a98c6cec0dd44f34c8 (diff) | |
download | gamma-3e205088b3b3434ba17bf08b39f2a5fa1fc6a3b0.tar.gz gamma-3e205088b3b3434ba17bf08b39f2a5fa1fc6a3b0.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 'scripts')
0 files changed, 0 insertions, 0 deletions