$!-----------------------------------------------------------------------------
$! HTML_CONFIG.COM
$!
$! simply generate the static config documentation
$!
$! 09-MAR-2019  MGD  initial
$!-----------------------------------------------------------------------------
$!
$ set on
$ default = f$environment("default")
$ set default wasd_root:[wasdoc.config]
$ delete *.html;*
$ mcr cgi_exe:wasdoc.exe /output=index.html /insight
$ mcr cgi_exe:wasdoc.exe /chunked /output=config.html /main /insight
$ set default 'default'
$!
$!-----------------------------------------------------------------------------