Customize the html config (from the default config of texi2html 1.82+dfsg1-3).
Customize the html config (from the default config of texi2html 1.82+dfsg1-3).

ProofGeneral/proofgeneral.github.io,ProofGeneral/proofgeneral.github.io,ProofGeneral/proofgeneral.github.io