14 lines
339 B
Plaintext

The GDOC script is taken from:
http://git.savannah.gnu.org/cgit/libidn.git/plain/doc/gdoc
and then modified %highlights_texinfo to use @var for parameters.
The file 'chopstx-api.texi' is generated by:
$ ./gdoc -texinfo ../chopstx.c >chopstx-api.texi
Then, we generate chopstx.info by:
$ makeinfo -o chopstx.info chopstx.texi