673 |
# $Texi2HTML::THISDOC{destination_directory} |
# $Texi2HTML::THISDOC{destination_directory} |
674 |
# -- directory for the resulting files |
# -- directory for the resulting files |
675 |
# $Texi2HTML::THISDOC{user} -- user running the script |
# $Texi2HTML::THISDOC{user} -- user running the script |
676 |
|
# $Texi2HTML::THISDOC{css_import_lines} -- ref on @import lines in css files |
677 |
|
# $Texi2HTML::THISDOC{css_lines} -- ref on css rules lines |
678 |
# other $Texi2HTML::THISDOC keys corresponds with texinfo commands, the value |
# other $Texi2HTML::THISDOC keys corresponds with texinfo commands, the value |
679 |
# being the command arg, for the following commands: |
# being the command arg, for the following commands: |
680 |
# kbdinputstyle, paragraphindent, setchapternewpage, headings, footnotestyle, |
# kbdinputstyle, paragraphindent, setchapternewpage, headings, footnotestyle, |