Settings Help
CTAN
Comprehensive TeX Archive Network
Home Upload Browse

Direc­tory tex-archive/macros/texinfo/texinfo/util

$Id: README 5191 2013-02-23 00:11:18Z karl $
texinfo/util/README

  Copyright 2002, 2008, 2011, 2012, 2013 Free Software Foundation, Inc.

  Copying and distribution of this file, with or without modification,
  are permitted in any medium without royalty provided the copyright
  notice and this notice are preserved.

All the files here are maintained as part of the Texinfo distribution
(in contrast to the contrib/ directory).

These scripts actually get installed:
  texindex texi2dvi texi2pdf pdftexi2dvi
  (along with *.bat on Windows)
  Also the XML stuff: texinfo.dtd texinfo.cat.

These are examples of wrapping makeinfo invocation to achieve their
various jobs:
  detexinfo texi2html texi-elements-by-size 
  txicmdlist txicustomvars txixml2texi

The srclist.txt file specifies common source files to keep in sync; see
the srclist-update script in gnulib.

Finally, the gendocs script and templates (which are not installed) are
about creating all the usual output formats to be put on web pages.
For more, see the GNU Maintainers Information:
http://www.gnu.org/prep/maintain/html_node/Invoking-gendocs_002esh.html

Direc­to­ries

Name Notes
tests

Files

Name Size Date Notes
Makefile.am 2315 2013-02-23 01:11:00
Makefile.in 48415 2013-09-27 12:04:00
README 1127 2013-02-23 01:11:00
detexinfo 773 2013-02-23 01:11:00
dir-example 36834 2013-08-10 04:30:00
gendocs.sh 16169 2013-03-09 12:08:00
gendocs_template 3418 2013-02-19 11:26:00
htmlxref.cnf 19086 2013-08-03 05:24:00
makeinfo.bat 29 2013-02-19 11:26:00
pdftexi2dvi 1302 2013-09-27 12:04:00
pod2texi.bat 29 2013-02-19 11:26:00
texi-elements-by-size 8544 2013-02-19 11:26:00
texi2any.bat 29 2013-02-19 11:26:00
texi2dvi 58518 2013-09-27 12:04:00
texi2html 1123 2013-02-23 01:11:00
texi2pdf 1302 2013-09-27 12:04:00
texindex.c 32064 2013-02-23 01:11:00
texinfo-cat.in 76 2013-02-19 11:26:00
texinfo.dtd 44993 2013-09-09 07:08:00
txixml2texi.pl 15093 2013-08-06 09:52:00
Guest Book Sitemap Contact 2014-04-19 20:16 CEST