octave-generate_html: Forge: functions for generating HTML pages from help

    2020-01-05 22:15           0 etc/
    2020-01-05 22:15           0 etc/postinstall/
    2020-01-05 22:15          86 etc/postinstall/octave-generate_html.sh
    2020-01-05 22:15           0 etc/preremove/
    2020-01-05 22:15          86 etc/preremove/octave-generate_html.sh
    2020-01-05 22:15           0 usr/
    2020-01-05 22:15           0 usr/share/
    2020-01-05 22:15           0 usr/share/doc/
    2020-01-05 22:15           0 usr/share/doc/octave-generate_html/
    2020-01-05 22:15       35147 usr/share/doc/octave-generate_html/COPYING
    2020-01-05 22:15        9416 usr/share/doc/octave-generate_html/NEWS
    2020-01-05 22:15           0 usr/share/octave/
    2020-01-05 22:15           0 usr/share/octave/packages/
    2020-01-05 22:15           0 usr/share/octave/packages/generate_html-0.3.1/
    2020-01-05 22:15        6748 usr/share/octave/packages/generate_html-0.3.1/check_duplicates.m
    2020-01-05 22:15       11390 usr/share/octave/packages/generate_html-0.3.1/doc-cache
    2020-01-05 22:15        2827 usr/share/octave/packages/generate_html-0.3.1/generate_html_manual.m
    2020-01-05 22:15        4346 usr/share/octave/packages/generate_html-0.3.1/generate_operators.m
    2020-01-05 22:15       30157 usr/share/octave/packages/generate_html-0.3.1/generate_package_html.m
    2020-01-05 22:15       15789 usr/share/octave/packages/generate_html-0.3.1/get_html_options.m
    2020-01-05 22:15        2741 usr/share/octave/packages/generate_html-0.3.1/html_help_text.m
    2020-01-05 22:15           0 usr/share/octave/packages/generate_html-0.3.1/of-website-files/
    2020-01-05 22:15        1359 usr/share/octave/packages/generate_html-0.3.1/of-website-files/doc.png
    2020-01-05 22:15         874 usr/share/octave/packages/generate_html-0.3.1/of-website-files/download.png
    2020-01-05 22:15        1150 usr/share/octave/packages/generate_html-0.3.1/of-website-files/favicon.ico
    2020-01-05 22:15         389 usr/share/octave/packages/generate_html-0.3.1/of-website-files/fixed.js
    2020-01-05 22:15        1044 usr/share/octave/packages/generate_html-0.3.1/of-website-files/footer.js
    2020-01-05 22:15        1319 usr/share/octave/packages/generate_html-0.3.1/of-website-files/homepage.png
    2020-01-05 22:15           0 usr/share/octave/packages/generate_html-0.3.1/of-website-files/icons/
    2020-01-05 22:15         163 usr/share/octave/packages/generate_html-0.3.1/of-website-files/icons/repository.attrib
    2020-01-05 22:15        4324 usr/share/octave/packages/generate_html-0.3.1/of-website-files/javascript.js
    2020-01-05 22:15        1104 usr/share/octave/packages/generate_html-0.3.1/of-website-files/manual.png
    2020-01-05 22:15         932 usr/share/octave/packages/generate_html-0.3.1/of-website-files/news.png
    2020-01-05 22:15        5578 usr/share/octave/packages/generate_html-0.3.1/of-website-files/oct.png
    2020-01-05 22:15       12681 usr/share/octave/packages/generate_html-0.3.1/of-website-files/octave-forge.css
    2020-01-05 22:15        1217 usr/share/octave/packages/generate_html-0.3.1/of-website-files/repository.png
    2020-01-05 22:15           0 usr/share/octave/packages/generate_html-0.3.1/packinfo/
    2020-01-05 22:15       35147 usr/share/octave/packages/generate_html-0.3.1/packinfo/COPYING
    2020-01-05 22:15         572 usr/share/octave/packages/generate_html-0.3.1/packinfo/DESCRIPTION
    2020-01-05 22:15         267 usr/share/octave/packages/generate_html-0.3.1/packinfo/INDEX
    2020-01-05 22:15        9416 usr/share/octave/packages/generate_html-0.3.1/packinfo/NEWS
    2020-01-05 22:15           0 usr/share/octave/packages/generate_html-0.3.1/private/
    2020-01-05 22:15        1160 usr/share/octave/packages/generate_html-0.3.1/private/find_package.m
    2020-01-05 22:15        1609 usr/share/octave/packages/generate_html-0.3.1/private/getopt.m
    2020-01-05 22:15        1893 usr/share/octave/packages/generate_html-0.3.1/private/get_txi_files.m
    2020-01-05 22:15        1175 usr/share/octave/packages/generate_html-0.3.1/private/html_see_also_with_prefix.m
    2020-01-05 22:15        1642 usr/share/octave/packages/generate_html-0.3.1/private/index_write_homepage_links.m
    2020-01-05 22:15        1037 usr/share/octave/packages/generate_html-0.3.1/private/insert_char_entities.m
    2020-01-05 22:15        1504 usr/share/octave/packages/generate_html-0.3.1/private/octave_forge_seealso.m
    2020-01-05 22:15        2140 usr/share/octave/packages/generate_html-0.3.1/private/setopts.m
    2020-01-05 22:15        6407 usr/share/octave/packages/generate_html-0.3.1/private/__html_help_text__.m
    2020-01-05 22:15        3770 usr/share/octave/packages/generate_html-0.3.1/private/__texi2html__.m
    2020-01-05 22:15        1792 usr/share/octave/packages/generate_html-0.3.1/texi2html.m
    2020-01-05 22:15        4171 usr/share/octave/packages/generate_html-0.3.1/txi2index.m
    2020-01-05 22:15        3030 usr/share/octave/packages/generate_html-0.3.1/txi2reference.m
    2020-01-05 22:15        5103 usr/share/octave/packages/generate_html-0.3.1/urlview.m