From b08451b1313d0f2d87e7419492a0ed2318c8fe3b Mon Sep 17 00:00:00 2001
From: Florian Weimer <fweimer@redhat.com>
Date: Thu, 25 Aug 2022 10:10:28 +0200
Subject: [PATCH] Add links to the current documentation

---
 index.html | 9 +++++++++
 1 file changed, 9 insertions(+)

diff --git a/index.html b/index.html
index ae519b7..7e74e73 100644
--- 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>
-- 
2.43.5