# 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/
/href=/s/pcre_jit_stack_alloc.html/jitstckalloc.html/
/href=/s/pcre_jit_stack_free.html/jitstckfree.html/
/href=/s/pcre_utf16_to_host_byte_order.html/utf16_to_host_byte_order.html/
/href=/s/pcre_utf32_to_host_byte_order.html/utf32_to_host_byte_order.html/
EOF

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