# Skript zum Anpassen von index.html.

cat > mkhtml_index.sed <<EOF
/href=/s/pcre_compile.html/compile.html/
/href=/s/pcre_compile2.html/compile2.html/
/href=/s/pcre_copy_named_substring.html/copy_named_substring.html/
/href=/s/pcre_copy_substring.html/copy_substring.html/
/href=/s/pcre_free_substring.html/fsubstr.html/
/href=/s/pcre_free_substring_list.html/fsubstr_list.html/
/href=/s/pcre_get_named_substring.html/get_named_substring.html/
/href=/s/pcre_get_stringnumber.html/gstringnumber.html/
/href=/s/pcre_get_stringtable_entries.html/gstringtable_entries.html/
/href=/s/pcre_get_substring.html/gsubstr.html/
/href=/s/pcre_get_substring_list.html/gsubstr_list.html/
EOF

sed -f mkhtml_index.sed index.html > index.txt
mv -vf index.txt index.html
rm -vf mkhtml_index.sed
