- Poppler. Specifically, the executable
pdftotext. - Python 3
cstdtohtml <C Standard Draft PDF file> [output HTML file]
If omitted, the output filename will be similar to the input, with the '.html'
extension. See cstdtohtml --help for more output formats.
A version of the C23 standard passed through this tool is currently hosted at cigix.me/c23.
A version of the C17 standard passed through a previous version of this tool
(tag c17) is currently hosted
at cigix.me/c17.
This software is published under the GNU General Public Licence v3.0. This license applies to all "source code" in this repository.