[PATCH] git bugfixes and cleanups, mainly Debian things

diff --git a/Documentation/howto-index.sh b/Documentation/howto-index.sh
index 3a6afb9f6ab7607577016a98ca27e7035b656ce6..f9d3e57a9179d86389ce4b3f56e34431f1e9a4a7 100755 (executable)
--- a/Documentation/howto-index.sh
+++ b/Documentation/howto-index.sh
@@ -20,8 +20,30 @@ do
                s/[     ]*$//
                s/^/by /
                p
+       }
+       ' "$txt"`
+
+       abstract=`sed -ne '
+       /^Abstract:[    ]/{
+               s/^[^   ]*//
+               x
+               s/.*//
+               x
+               : again
+               /^[     ]/{
+                       s/^[    ]*//
+                       H
+                       n
+                       b again
+               }
+               x
+               p
+               q
        }' "$txt"`
-       echo "
-       * link:$txt[$title] $from"
+
+       echo "* link:$txt[$title] $from
+$abstract
+
+"
 
 done