diff options
| author | Jose Antonio Ortega Ruiz <jao@gnu.org> | 2014-05-31 05:37:09 +0200 |
|---|---|---|
| committer | Jose Antonio Ortega Ruiz <jao@gnu.org> | 2014-05-31 05:37:09 +0200 |
| commit | 7e52871faa74713442210b1c74fc8e358349b6ce (patch) | |
| tree | 538d4d62a34490644f602c81c6889b6c418f1c29 /doc/web.texi | |
| parent | 121434ea1e956f8abab688a472f2a9c5524e934b (diff) | |
| download | geiser-7e52871faa74713442210b1c74fc8e358349b6ce.tar.gz geiser-7e52871faa74713442210b1c74fc8e358349b6ce.tar.bz2 | |
Making makeinfo html-happy
Fixes for warnings issued by makeinfo 5.x (when using some of our
macros: the guy is touchy regarding @ifhtml and new lines) that were
preventing the install-html make target to work (for people that want
local html by texinfo as opposed to the (supposedly fancier)
texi2html-generated version we use for the web).
Diffstat (limited to 'doc/web.texi')
0 files changed, 0 insertions, 0 deletions