diff options
author | Sergey Poznyakoff <gray@gnu.org> | 2015-03-01 21:26:42 +0200 |
---|---|---|
committer | Sergey Poznyakoff <gray@gnu.org> | 2015-03-01 21:29:32 +0200 |
commit | dda0428f8cf94142dfe79bb6e2dc38ccc73ff0d6 (patch) | |
tree | 3c71caaf7b4da49608a6c09767e267f35d3d28e0 /grecs | |
parent | cfdddef8393b7012db59fec4d01558189a4c2e99 (diff) | |
download | wydawca-dda0428f8cf94142dfe79bb6e2dc38ccc73ff0d6.tar.gz wydawca-dda0428f8cf94142dfe79bb6e2dc38ccc73ff0d6.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
* grecs: Upgrade.
* imprimatur: Upgrade.
Diffstat (limited to 'grecs')
m--------- | grecs | 0 |
1 files changed, 0 insertions, 0 deletions
diff --git a/grecs b/grecs -Subproject 477701c059d73e47aa1bac97e96d801542f2bd8 +Subproject d51e1365118ce87016a39bd94437e31b35b8d30 |