Thorn Documentation Displayed on Website is incomplete for Formaline

Create issue
Issue #2296 resolved
Steven R. Brandt created an issue

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. šŸ˜ž

Comments (5)

  1. 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.

  2. Log in to comment