Stray backslashes in html docs

Torbjörn Granlund tg at
Sat Jan 12 14:48:05 UTC 2019

Trevor Spiteri <tspiteri at> writes:

  In the html documentation, I found a few backslashes that shouldn't be



  \log (twice)

Yes, the html manual is quite ugly.  It was written with pdf and info
output in mind.  Not only do we leak backslashes, the same symbol
appears in plain and slanted font.

I don't particularly like the syntax a^b either, and since superscripts
do exist in html, we should use them.

I tried to make a major revision a while ago, but ran into texinfo bugs.
I tend to run into bugs.  The particular bug this time was that texinfo
decided to randomly change font and layout of the "Function: foo ..."
stuff in the presense of certain formatting commands.

I tried hard to find expression variants which did not trigger texinfo
bugs, but the work was slow as I needed to check 3 output formats.

Please encrypt, key id 0xC8601622

More information about the gmp-bugs mailing list