diff options
Diffstat (limited to 'doc/README')
-rw-r--r-- | doc/README | 16 |
1 files changed, 6 insertions, 10 deletions
diff --git a/doc/README b/doc/README index 8cd557e9ce..02fff1fe71 100644 --- a/doc/README +++ b/doc/README @@ -7,8 +7,12 @@ Tools Required The following tools are used in the production of this documentation: TeX -texinfo 4.0 -texi2www-960103 (included in tree) +texi2html 1.82 +texinfo-tex 4.13a + +texi2html will be deprecated in the upcomine texinfo release. At that point, +we will need to provide support for texi2any.pl as an alternative means to +produce html output. This was used by the authors to generate the directory tree figure in the texinfo printed version: @@ -29,9 +33,6 @@ Making the Documentation cd rtems-XXX/doc ../bootstrap ./configure --enable-maintainer-mode -cd tools ; make -cd .. -make info make all make install @@ -49,8 +50,3 @@ This generates a rtems-<version>.tar.gz in the toplevel directory. Making a Preformatted Distribution ================================== Install and tar it up. :) - -Common Problems -=============== - -TeX pool_size too small. |