mirror of
https://github.com/rkd77/elinks.git
synced 2025-02-02 15:09:23 -05:00
This simplifies help2doc since it now just have to do one single thing with output of either --config-help or --long-help. The new manpage is not as fancy wrt. indentation and sub titles but it is more uniform and we get a HTML version. Generate options-{config,command}.txt with help2doc. Only conditionally check for API header files, to speed up execusion.