Thorn Documentation Displayed on Website is incomplete for Formaline

[Steven R. Brandt]

See https://einsteintoolkit.org/thornguide/CactusUtils/Formaline/documentation.html

formaline.py
A python script for gdb which allows you to recover the source tarballs from the executable even if the executable can no longer be run. It writes the extracted tarballs into the current directory. Use as

And the sentence never finishes.

[Roland Haas]

git hash fbdd761 "Formaline: restructure docs to try and avoid latex2html issues" of cactusutils may fix this.

[Roland Haas]

Turns out this was a bug introduced in git hash 561cf871 "Cactus: make quoting of strings more conservative in ThornDoc" of cactus in 2017. This change incorrectly made the ThornDoc script end all documentation files with \\end{document} rather than \end{document} and for some reason this only seems to have cause an issue in Formaline’s thorndoc.

[Roland Haas]

Pull request is here: https://bitbucket.org/cactuscode/cactus/pull-requests/66/cactus-correctly-escape-backslash-inside/diff

Please review.

Unless objected I will push this change to master after 2019-11-14

[Roland Haas]

Applied as git hash ea781a47 "Cactus: use printf for strings containing backslashes" of cactus