contents of directory: tgz


    type         date         name
    ----    ---------------   ------------------------

    file    2023.09.12.1225   howto_html.tgz
    file    2023.09.12.1225   ht00_html.tgz
    file    2023.09.12.1225   ht01_full.tgz
    file    2023.09.12.1225   ht01_html.tgz
    file    2023.09.12.1225   ht02_full.tgz
    file    2023.09.12.1225   ht02_html.tgz
    file    2023.09.12.1225   ht03_html.tgz
    file    2023.09.12.1225   ht05_full.tgz
    file    2023.09.12.1225   ht05_html.tgz