Lines Matching refs:generated
695 # The integer value specifies what kind of debugging output is generated.
712 # If this value is true, some variables which should be dynamically generated
773 # A file describing the frame layout is generated, together with a file
792 # if this is set one file per node is generated, which can be a target for
798 # (resp. chapter) is generated. If $SPLIT is set to 'node' one html file per
799 # node or sectionning element is generated. In all these cases separate pages
800 # for Top, Table of content (Toc), Overview and About are generated.
899 # the end of the CSS_LINES (after the css rules generated by texi2html).
913 # generated content is reused, instead.
927 # if this is set the intermediate files generated by texi2html in relation with
1729 return &$I('This document was generated by @emph{%{user}} on @emph{%{date}} using @uref{%{program_homepage}, @emph{%{program}}}.', {
1734 return &$I('This document was generated by @emph{%{user}} using @uref{%{program_homepage}, @emph{%{program}}}.', {
1739 return &$I('This document was generated on @i{%{date}} using @uref{%{program_homepage}, @i{%{program}}}.', {
1742 return &$I('This document was generated using @uref{%{program_homepage}, @emph{%{program}}}.', {
4573 # format a reference external to the generated manual. This produces a full
4653 # format a reference to a node or a section in the generated manual. This
5175 # address put in footer describing when was generated and who did the manual
5640 'This document was generated by @emph{%{user}} on @emph{%{date}} using @uref{%{program_homepage}, @emph{%{program}}}.' => '',
5641 'This document was generated by @emph{%{user}} using @uref{%{program_homepage}, @emph{%{program}}}.' => '',
5642 'This document was generated on @i{%{date}} using @uref{%{program_homepage}, @i{%{program}}}.' => '',
5643 'This document was generated using @uref{%{program_homepage}, @emph{%{program}}}.' => '',
5767 'This document was generated by @emph{%{user}} on @emph{%{date}} using @uref{%{program_homepage}, @emph{%{program}}}.' => '',
5768 'This document was generated by @emph{%{user}} using @uref{%{program_homepage}, @emph{%{program}}}.' => '',
5769 'This document was generated on @i{%{date}} using @uref{%{program_homepage}, @i{%{program}}}.' => '',
5770 'This document was generated using @uref{%{program_homepage}, @emph{%{program}}}.' => '',
5890 'This document was generated by @emph{%{user}} on @emph{%{date}} using @uref{%{program_homepage}, @emph{%{program}}}.' => '',
5891 'This document was generated by @emph{%{user}} using @uref{%{program_homepage}, @emph{%{program}}}.' => '',
5892 'This document was generated on @i{%{date}} using @uref{%{program_homepage}, @i{%{program}}}.' => '',
5893 'This document was generated using @uref{%{program_homepage}, @emph{%{program}}}.' => '',
6017 'This document was generated by @emph{%{user}} on @emph{%{date}} using @uref{%{program_homepage}, @emph{%{program}}}.' => 'Ce document a @\'et@\'e g@\'en@\'er@\'e par @emph{%{user}} @emph{%{date}} en utilisant @uref{%{program_homepage}, @emph{%{program}}}.',
6018 'This document was generated by @emph{%{user}} using @uref{%{program_homepage}, @emph{%{program}}}.' => 'Ce document a @\'et@\'e g@\'en@\'er@\'e par @emph{%{user}} en utilisant @uref{%{program_homepage}, @emph{%{program}}}.',
6019 'This document was generated on @i{%{date}} using @uref{%{program_homepage}, @i{%{program}}}.' => 'Ce document a @\'et@\'e g@\'en@\'er@\'e @emph{%{date}} en utilisant @uref{%{program_homepage}, @emph{%{program}}}',
6020 'This document was generated using @uref{%{program_homepage}, @emph{%{program}}}.' => 'Ce document a @\'et@\'e g@\'en@\'er@\'e en utilisant @uref{%{program_homepage}, @emph{%{program}}}.',
6042 ' This document was generated %{who_and_when_generated} using %{program_homepage_href}.' => ' Ce document a été généré %{who_and_when_generated} en utilisant %{program_homepage_href}.',
6050 'This document was generated by <i>%{user}</i> on <i>%{date}</i> using %{program_homepage_href}.' => 'Ce document a été généré par <i>%{user}</i> <i>%{date}</i> en utilisant %{program_homepage_href}.',
6051 'This document was generated by <i>%{user}</i> using %{program_homepage_href}.' => 'Ce document a été généré par <i>%{user}</i> en utilisant %{program_homepage_href}.',
6052 'This document was generated by @emph{%{user}} on @emph{%{date}} using %{program_homepage_href}.' => 'Ce document a @\'et@\'e g@\'en@\'er@\'e par @emph{%{user}} @emph{%{date}} en utilisant %{program_homepage_href}.',
6053 'This document was generated by @emph{%{user}} using %{program_homepage_href}.' => 'Ce document a @\'et@\'e g@\'en@\'er@\'e par @emph{%{user}} en utilisant %{program_homepage_href}.',
6054 'This document was generated on <i>%{date}</i> using %{program_homepage_href}.' => 'Ce document a été généré <i>%{date}</i> en utilisant %{program_homepage_href}.',
6055 'This document was generated on @emph{%{date}} using %{program_homepage_href}.' => 'Ce document a @\'et@\'e g@\'en@\'er@\'e @emph{%{date}} en utilisant %{program_homepage_href}.',
6056 'This document was generated on @emph{%{date}} using @uref{%{program_homepage}, @emph{%{program}}}.' => 'Ce document a @\'et@\'e g@\'en@\'er@\'e @emph{%{date}} en utilisant @uref{%{program_homepage}, @emph{%{program}}}.',
6057 'This document was generated using %{program_homepage_href}.' => 'Ce document a @\'et@\'e g@\'en@\'er@\'e en utilisant %{program_homepage_href}.',
6190 'This document was generated by @emph{%{user}} on @emph{%{date}} using @uref{%{program_homepage}, @emph{%{program}}}.' => '���������������@emph{%{user}}������������@emph{%{date}}���@uref{%{program_homepage}, @emph{%{program}}}������������������������������������',
6191 'This document was generated by @emph{%{user}} using @uref{%{program_homepage}, @emph{%{program}}}.' => '���������������@emph{%{user}}������������@uref{%{program_homepage}, @emph{%{program}}}������������������������������������',
6192 'This document was generated on @i{%{date}} using @uref{%{program_homepage}, @i{%{program}}}.' => '���������������@emph{%{date}}���@uref{%{program_homepage}, @emph{%{program}}}������������������������������������',
6193 'This document was generated using @uref{%{program_homepage}, @emph{%{program}}}.' => '���������������@uref{%{program_homepage}, @emph{%{program}}}������������������������������������',
6335 'This document was generated by @emph{%{user}} on @emph{%{date}} using @uref{%{program_homepage}, @emph{%{program}}}.' => '',
6336 'This document was generated by @emph{%{user}} using @uref{%{program_homepage}, @emph{%{program}}}.' => '',
6337 'This document was generated on @i{%{date}} using @uref{%{program_homepage}, @i{%{program}}}.' => '',
6338 'This document was generated using @uref{%{program_homepage}, @emph{%{program}}}.' => '',
6462 'This document was generated by @emph{%{user}} on @emph{%{date}} using @uref{%{program_homepage}, @emph{%{program}}}.' => '',
6463 'This document was generated by @emph{%{user}} using @uref{%{program_homepage}, @emph{%{program}}}.' => '',
6464 'This document was generated on @i{%{date}} using @uref{%{program_homepage}, @i{%{program}}}.' => '',
6465 'This document was generated using @uref{%{program_homepage}, @emph{%{program}}}.' => '',
6589 'This document was generated by @emph{%{user}} on @emph{%{date}} using @uref{%{program_homepage}, @emph{%{program}}}.' => 'Esse documento foi gereado por @emph{%{user}} em @emph{%{date}} usando @uref{%{program_homepage}, @emph{%{program}}}.',
6590 'This document was generated by @emph{%{user}} using @uref{%{program_homepage}, @emph{%{program}}}.' => 'Esse documento foi gerado por @emph{%{user}} usando @uref{%{program_homepage}, @emph{%{program}}}.',
6591 'This document was generated on @i{%{date}} using @uref{%{program_homepage}, @i{%{program}}}.' => 'Esse documento foi gerado em @i{%{date}} usando @uref{%{program_homepage}, @i{%{program}}}.',
6592 'This document was generated using @uref{%{program_homepage}, @emph{%{program}}}.' => 'Esse documento foi gerado usando @uref{%{program_homepage}, @emph{%{program}}}.',
6737 'This document was generated by @emph{%{user}} on @emph{%{date}} using @uref{%{program_homepage}, @emph{%{program}}}.' => 'Esse documento foi gereado por @emph{%{user}} em @emph{%{date}} usando @uref{%{program_homepage}, @emph{%{program}}}.',
6738 'This document was generated by @emph{%{user}} using @uref{%{program_homepage}, @emph{%{program}}}.' => 'Esse documento foi gerado por @emph{%{user}} usando @uref{%{program_homepage}, @emph{%{program}}}.',
6739 'This document was generated on @i{%{date}} using @uref{%{program_homepage}, @i{%{program}}}.' => 'Esse documento foi gerado em @i{%{date}} usando @uref{%{program_homepage}, @i{%{program}}}.',
6740 'This document was generated using @uref{%{program_homepage}, @emph{%{program}}}.' => 'Esse documento foi gerado usando @uref{%{program_homepage}, @emph{%{program}}}.',
7693 # 3) FromHtml: Extract generated code and images from latex2html run
7725 % This document was automatically generated by the l2h extenstion of texi2html
7761 # destination dir -- generated images are put there, should be the same
7786 # which can be later on replaced by the latex2html generated text.
7926 # Third stage: Extract generated contents from latex2html run
7934 # the images generated by latex2html have names like ${docu_name}_l2h_img?.png
7982 # comes from the cache), the html file that was generated by previous
8134 warn "# l2h: removing temporary files generated by l2h extension\n"
8442 # want some generated section titles (eg "Table of Contents" or "References")