diff --git a/prod/doc/analysis.html b/prod/doc/analysis.html
index e215e0d..fc476ca 100644
--- a/prod/doc/analysis.html
+++ b/prod/doc/analysis.html
@@ -91,6 +91,9 @@ enables USB.
 
 <P>
 <HR>
+Up: <A href="index.html">Production and testing</A>&nbsp;
+Prev: <A href="test.html">Functional test</A>&nbsp;
+<HR>
 Last update: 2011-05-18&nbsp;&nbsp;<I>Werner Almesberger</I>
 <HR>
 </BODY>
diff --git a/prod/doc/flash.html b/prod/doc/flash.html
index 5bf9bdc..f8f4474 100644
--- a/prod/doc/flash.html
+++ b/prod/doc/flash.html
@@ -37,6 +37,10 @@ any flashing.
 
 <P>
 <HR>
+Up: <A href="index.html">Production and testing</A>&nbsp;
+Prev: <A href="setup.html">Software setup</A>
+Next: <A href="test.html">Functional test</A>&nbsp;
+<HR>
 Last update: 2011-05-18&nbsp;&nbsp;<I>Werner Almesberger</I>
 <HR>
 </BODY>
diff --git a/prod/doc/setup.html b/prod/doc/setup.html
index 983e98f..a8e90de 100644
--- a/prod/doc/setup.html
+++ b/prod/doc/setup.html
@@ -136,6 +136,9 @@ ssh ben 'cat >>/etc/dropbear/authorized_keys' <~/.ssh/id_rsa.pub
 
 <P>
 <HR>
+Up: <A href="index.html">Production and testing</A>&nbsp;
+Next: <A href="flash.html">Flashing (<B>atusb</B> only)</A>&nbsp;
+<HR>
 Last update: 2011-05-18&nbsp;&nbsp;<I>Werner Almesberger</I>
 <HR>
 </BODY>
diff --git a/prod/doc/test.html b/prod/doc/test.html
index 2877ba4..95b25a5 100644
--- a/prod/doc/test.html
+++ b/prod/doc/test.html
@@ -33,6 +33,10 @@
 
 <P>
 <HR>
+Up: <A href="index.html">Production and testing</A>&nbsp;
+Prev: <A href="flash.html">Flashing (<B>atusb</B> only)</A>&nbsp;
+Next: <A href="analysis.html">Fault analysis</A>&nbsp;
+<HR>
 Last update: 2011-05-18&nbsp;&nbsp;<I>Werner Almesberger</I>
 <HR>
 </BODY>