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 | 586d552350c04f4025ce99d2600bf89496db6e31 (patch) | |
| tree | 3fd56827bf2004dc84204a52e7454805aaa16a35 /doc/thanks.texi | |
| parent | 5020b91e90520a9e5c0c725123247535dfb60a4f (diff) | |
| download | geiser-guile-586d552350c04f4025ce99d2600bf89496db6e31.tar.gz geiser-guile-586d552350c04f4025ce99d2600bf89496db6e31.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/thanks.texi')
0 files changed, 0 insertions, 0 deletions