Re: [PATCH] Update FTP/HTTP mirrors.

[Simon Ruderich <simon@ruderich.org>]

[-- Attachment #1: Type: text/plain, Size: 1367 bytes --]

On Wed, Apr 20, 2011 at 02:06:07AM +0200, Simon Ruderich wrote:
> I meant running `make everything` in Doc/ and uploading all the
> files (HTML, PDF, etc.). I've done that as well (with zsh version
> 4.3.11), another big diff (ask if you want it), but not much
> changed:
>
>     182 files changed, 15692 insertions(+), 13287 deletions(-)

Seems like the frames version isn't generated by `make
everything` and is outdated. I've removed it for now.

Regards,
Simon
---
 Doc/index.html |    3 ++-
 1 files changed, 2 insertions(+), 1 deletions(-)

diff --git a/Doc/index.html b/Doc/index.html
index fce84c7..3071f03 100644
--- a/Doc/index.html
+++ b/Doc/index.html
@@ -28,7 +28,8 @@
 <p>The Zsh manual is available in the following formats:
 <ul>
   <li><a href="Release/zsh_toc.html">HTML, Browsable Hypertext</a></li>
-  <li><a href="Release/index-frame.html">HTML, Frames Interface</a></li>
+  <!-- FIXME: frame version not up to date! -->
+  <!-- <li><a href="Release/index-frame.html">HTML, Frames Interface</a></li> -->
   <li><a href="zsh_html.tar.gz">HTML</a> <i>(tarred and gzipped package, 860KiB)</i></li>
  <br>
   <li><a href="zsh_a4.ps.gz">PostScript</a> <i>(European A4 size paper, gzipped, 910KiB)</i></li>
-- 
1.7.4.4

-- 
+ privacy is necessary
+ using gnupg http://gnupg.org
+ public key id: 0x92FEFDB7E44C32F9

[-- Attachment #2: Type: application/pgp-signature, Size: 836 bytes --]