--- /usr/src/zsh-3.0-pre5/Doc/zsh.texi Thu Aug 1 07:54:29 1996 +++ zsh.texi Thu Aug 1 08:17:05 1996 @@ -10,9 +10,9 @@ @afourpaper @end iftex -@set EDITION 2.1.6 +@set EDITION 2.1.7 @set VERSION 3.0 -@set UPDATED 30 July 1996 +@set UPDATED 1 August 1996 @ifinfo @noindent @@ -172,7 +172,7 @@ Whilst this guide for the most part duplicates the man-pages, (suitably marked-up into texinfo), and is not intended to replace them, it does offer several advantages over them, not least that the texinfo source -may be converted into several formats. ie. +may be converted into several formats, e.g., @table @asis @item The Info guide. @@ -183,18 +183,22 @@ @item The printed guide. The command @code{texi2dvi zsh.texi} will output @file{zsh.dvi} which can then be processed with @code{dvips} and optionally @code{gs} (Ghostscript) to -produce a nicely formatted printed guide.@* -(For those without @TeX{}, @file{zsh.dvi.gz} and @file{zsh.ps.gz} are -available for download from FIXME_URL.) +produce a nicely formatted printed guide. @item The html guide. -Mark Borges, @code{mdb@@cdc.noaa.gov}, maintains a html version of this +Mark Borges, @code{mdb@@cdc.noaa.gov}, maintains an html version of this guide at @code{http://www.mal.com/zsh3/Doc/zsh_toc.html}.@* (The html version is produced with @code{texi2html}, which may be obtained from @code{http://wwwcn.cern.ch/dci/texi2html/}. The command is, @code{texi2html -split_chapter -expandinfo zsh.texi}) @end table +@noindent +For those who do not have the necessary tools to process texinfo, +precompiled documentation, (PostScript, dvi, info and html formats), +is available from the zsh archive site or its mirrors in the file, +@file{zsh-doc.tar.gz}. (@xref{Availability}, for a list of sites.) + @section Future @noindent @@ -2416,7 +2420,7 @@ @code{psvar}, @code{status}, @code{watch}. @noindent -The usual @code{zsh} starup/shutdown scripts are not executed. Login shells +The usual @code{zsh} startup/shutdown scripts are not executed. Login shells source @file{/etc/profile} followed by @file{$HOME/.profile}. If the @code{ENV} environment variable is set on invocation, @code{$ENV} is sourced after the profile scripts. The value of @code{ENV} is subjected to @@ -7161,3 +7165,6 @@ v2.1.4. July 29th 1996. Updated from man-pages 3.0pre3 -> pre4. v2.1.5. July 30th 1996. Fixed a couple of @xref's. v2.1.6. July 31st 1996. Updated to zsh-3.0-pre5 (Zoltan). +v2.1.6a. August 1st 1996. A couple more spelling corrections . +v2.1.7. August 1st 1996. Added reference to obtaining precompiled +documentation, zsh-doc.tar.gz.