diff options
Diffstat (limited to 'Build/source/utils/texi2html/INTRODUCTION')
| -rw-r--r-- | Build/source/utils/texi2html/INTRODUCTION | 88 |
1 files changed, 0 insertions, 88 deletions
diff --git a/Build/source/utils/texi2html/INTRODUCTION b/Build/source/utils/texi2html/INTRODUCTION deleted file mode 100644 index bf7051de557..00000000000 --- a/Build/source/utils/texi2html/INTRODUCTION +++ /dev/null @@ -1,88 +0,0 @@ -Getting Started with texi2html -============================== - -'texi2html' converts texinfo documents to HTML. - -Texinfo is the official documentation format of the GNU project. It -uses a single source file to produce both on-line information and -printed output. For more details about texinfo, see -http://www.texinfo.org. - -In contrast to the HTML produced by 'makeinfo --html' (the 'makeinfo' -program is part of the Texinfo distribution), the HTML output of -'texi2html' is highly configurable. Among others, with 'texi2html' you -can customize your entire page layout (like headers, footers, style -sheets, etc), split documents at various levels and use 'latex2html' to -convert @tex sections. - -'texi2html' should reasonably convert all Texinfo 4.8 constructs. If -not, please send a bug report to 'dev@texi2html.cvshome.org'. - - -To create HTML of texinfo documents -=================================== - -Make sure that you have 'texi2html' correctly installed on your -system. The general synopsis of 'texi2html' is - - texi2html [options] texinfo-source-file - -Without any options, this will create the file <docname>.html where -<docname> is the basename of your texinfo files. - -See the beginning of the file 'texi2html.init' for explanations of -command-line options and their default values, or run 'texi2html -h' -for a short overview of the most important options. - - -Customizing texi2html -===================== - -Initialisation options are read first from -'/usr/local/etc/texi2html/Config' (the exact location being changeable with -the '--sysconfdir=dir' option to the configure script), then from -$HOME/.texi2html/Config, then any command-line options including -init-file -options; with later settings overriding earlier ones. - -The default initialisation options are defined in the -'texi2html.init' file contained in the Texi2html distribution (in -fact, 'configure' pastes this file into beginning of texi2html.pl and -generates the actual 'texi2html' script this way.). - -To customize 'texi2html' it is best if you copy the appropriate -sections from the 'texi2html.init' file into an appropriate local -initialization file, make the necessary changes there, and then have -'texi2html' read this initialisation file by one of the means described -above. - -For an example on what you can produce with 'texi2html' have a look -at the following sites: - -* http://www.singular.uni-kl.de/Manual/html/ - -(Please send me your sites, if you'd like to have them listed here). - - -Documentation of texi2html -========================== -The texi2html Texinfo manual should be rather complete. In addition, - you might want to have a look at the comments in the 'texi2html.init' -file for explanations about customizable parameters and at the (not -up-to-date) texi2html man page for an overview of texi2html's synopsis. - -More information -================ - -Texi2html's home page can be found at http://texi2html.cvshome.org - -The newest version of Texi2html can be obtained from -http://texi2html.cvshome.org/servlets/ProjectDownloadList -or, via anonymous cvs (see -http://texi2html.cvshome.org/servlets/ProjectSource for instructions). - -Send email to dev@texi2html.cvshome.org for bug reports, enhancement -suggestions, and to users@texi2html.cvshome.org for authoring questions -and general discussion. - - -Good luck and enjoy !! |