Add links to the current documentation

diff --git a/index.html b/index.html
index ae519b752c936fb41907e529bd786c39ecb90a1c..7e74e7306d70b897676647d03111a61bec1e1a0c 100644 (file)
--- a/index.html
+++ b/index.html
@@ -26,6 +26,15 @@
     </TABLE>
     </CENTER>
 
+    <H2>Current Documents</H2>
+
+    <UL>
+      <LI><A HREF="program-loading-and-dynamic-linking.txt">gABI supplement for program loading and dynamic linking on GNU</A></LI>
+      <LI><A HREF="prelink.txt">Prelink</A></LI>
+    </UL>
+
+    <H2>Sources</H2>
+
     <P>
       The current <A HREF="https://sourceware.org/git/?p=gnu-gabi.git;a=summary">gnu-gabi documents</A> (including this website) can be checked out with:
     </P>