diff options
author | Peter Stephenson <pws@users.sourceforge.net> | 2001-06-28 17:02:57 +0000 |
---|---|---|
committer | Peter Stephenson <pws@users.sourceforge.net> | 2001-06-28 17:02:57 +0000 |
commit | 6ee1839f207eb681622d85522ace722feb96a200 (patch) | |
tree | 6aaa74af393603a24af6da7db392b1fd6cb0ef3d /README | |
parent | a25c40c6a06425d99b4816c62ccb33cfa76cd397 (diff) | |
download | zsh-6ee1839f207eb681622d85522ace722feb96a200.tar.gz zsh-6ee1839f207eb681622d85522ace722feb96a200.tar.xz zsh-6ee1839f207eb681622d85522ace722feb96a200.zip |
15160, 15169: Doc formatting changes for texinfo and .html files
Diffstat (limited to 'README')
-rw-r--r-- | README | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/README b/README index a5bfeac9b..dfe1a2b00 100644 --- a/README +++ b/README @@ -81,7 +81,8 @@ Doc/zsh.texi Everything the man pages have, but in texinfo format. These By default, these will be installed in /usr/local/info, although you can change this with the --infodir option to configure or editing the user configuration section of the - top level Makefile. + top level Makefile. Version 4.0 or above of the + Texinfo tools are recommended for processing this file. Also include in the distribution are: |