Hi, I just noticed an update to the website, not sure exactly when it happened. Looks like something went wrong: > diff --git a/Guide/zshguide.latex b/Guide/zshguide.latex > index d652ed6..440fafe 100644 > --- a/Guide/zshguide.latex > +++ b/Guide/zshguide.latex > @@ -1,6 +1,5 @@ > \documentclass[a4paper]{book} > -\usepackage{a4wide} > -\usepackage[T1]{fontenc} > +SCALAR(0x18763a0)\usepackage[T1]{fontenc} ^^^^^^^^^^^^^^^^^ > \usepackage{newcent} > \usepackage{courier} > \pretolerance=10000 > @@ -13,7 +12,7 @@ > > [snip] > > @@ -15206,9 +15205,9 @@ separated by colons or `\texttt{@}', it doesn't matter which. > > Completion for URLs is done by setting a parallel path somewhere on your > local machine. The \texttt{urls} style specifies the top directory for this. > -For example, to complete the URL \texttt{http://zsh.org/}, you > +For example, to complete the URL \texttt{http://zsh.sunsite.dk/}, you ^^^^^^^^^^^^^^^^^^^^^^ > need to make a set of subdirectories of the \texttt{path} directory > -\texttt{http/zsh.org/}. You can extend this for however many levels of > +\texttt{http/zsh.sunsite.ac.dk/}. You can extend this for however many levels of ^^^^^^^^^^^^^^^^^^^^^^^ > directory you need; as you would expect, if the last object is a file > rather than a directory you should create it with `\texttt{touch}' rather than > `\texttt{mkdir}'. The style will always use the tag `\texttt{urls}' for this > @@ -17978,4 +17977,4 @@ This appendix gives some useful pointers for finding zsh, more information > about zsh, and people who know how to fix the problems (yours or its). > It is mostly a set of URLs and email addresses. If you just want to surf > your way round, start from the main zsh site at \texttt{http://www.zsh.org/}. > -\end{document} > +\end{document} > \ No newline at end of file The other guide files were also modified, but I think they were just generated from the .latex file. I'm not entirely sure how to generate the files so I hope somebody knows. Regards, Simon -- + privacy is necessary + using gnupg http://gnupg.org + public key id: 0x92FEFDB7E44C32F9
Attachment:
pgpmJRfakpWZQ.pgp
Description: PGP signature