From 43218c8df3687ff1c7fe732947c8a5b7b5155648 Mon Sep 17 00:00:00 2001
From: Jose Antonio Ortega Ruiz <jao@gnu.org>
Date: Tue, 21 Dec 2010 16:15:16 +0100
Subject: Documentation helpers

---
 doc/geiser.css   | 10 +++++++++-
 doc/install.texi |  5 ++---
 doc/intro.texi   |  2 +-
 doc/macros.texi  |  1 +
 doc/web.texi     |  6 ++++++
 5 files changed, 19 insertions(+), 5 deletions(-)

diff --git a/doc/geiser.css b/doc/geiser.css
index d05f909..4476344 100644
--- a/doc/geiser.css
+++ b/doc/geiser.css
@@ -91,6 +91,14 @@ div.navigation {
     /* border-color: rgb(200, 200, 200); */
 }
 
+div.version {
+    background-color: #efebe7;
+    line-height: 100%;
+    padding: 3px;
+    top-margin: 5px;
+    font-size: smaller;
+}
+
 .navlink {
     text-decoration: none;
     /* color: white; */
@@ -99,4 +107,4 @@ div.navigation {
 .index-cp {
     line-height:120%;
     font-size: smaller;
-}
\ No newline at end of file
+}
diff --git a/doc/install.texi b/doc/install.texi
index 6f3ee07..7d02b69 100644
--- a/doc/install.texi
+++ b/doc/install.texi
@@ -34,9 +34,8 @@ to the fun.
 @cindex use the source, Luke
 You'll also need Geiser itself. The latest release tarball can be found
 @downfile{, here}, while older versions are @uref{@value{DOWN_BASE}/,
-here}. Just download @downfile{geiser-@value{STABLE_VERSION}.tar.gz,
-geiser-@value{STABLE_VERSION}.tar.gz} and untar it in a directory of
-your choice.
+here}. Just download @downfile{@value{TARBALL}, @value{TARBALL}}
+and untar it in a directory of your choice.
 
 If you feel like living on the bleeding edge, just grab Geiser from its
 Git repository @uref{http://git.savannah.nongnu.org/cgit/geiser.git/, over
diff --git a/doc/intro.texi b/doc/intro.texi
index f26fa7b..b2f5017 100644
--- a/doc/intro.texi
+++ b/doc/intro.texi
@@ -77,7 +77,7 @@ Listings of identifiers exported by a given module.
 Listings of callers/callees of procedures.
 @item
 Rudimentary support for debugging (when the REPL provides a
-debugging) and error navigation.
+debugger) and error navigation.
 @item
 Support for multiple, simultaneous REPLs.
 @end itemize
diff --git a/doc/macros.texi b/doc/macros.texi
index 3b59194..9e1646b 100644
--- a/doc/macros.texi
+++ b/doc/macros.texi
@@ -1,6 +1,7 @@
 @set VERSION 0.1.1
 @set STABLE_VERSION 0.1
 @set DOWN_BASE http://download.savannah.nongnu.org/releases/geiser
+@set TARBALL geiser-@value{STABLE_VERSION}.tar.gz
 
 @macro img{FILE, ALIGN}
 @ifhtml
diff --git a/doc/web.texi b/doc/web.texi
index 828c02d..40af3df 100644
--- a/doc/web.texi
+++ b/doc/web.texi
@@ -4,6 +4,12 @@
 
 @contents
 
+@html
+<div class="version" align="right"><a class="navlink"
+href="http://download.savannah.nongnu.org/releases/geiser/0.1/geiser-0.1.tar.gz">Version 0.1 Dec 2010, Guile 1.9.14 and Racket 5.0.x&nbsp;&nbsp;</a>
+</div>
+@end html
+
 @node Top, Introduction, (dir), (dir)
 
 @include top.texi
-- 
cgit v1.2.3