modified:   linux/cfg2html-linux.sh