Index: doc/support/generate.sh |
diff --git a/doc/support/generate.sh b/doc/support/generate.sh |
index dcb74375206e61af918428cd6f513fdf2497b8eb..f5785c6447c72eefc41618e656bd0a2ef88e91fb 100755 |
--- a/doc/support/generate.sh |
+++ b/doc/support/generate.sh |
@@ -45,6 +45,7 @@ done |
# doc. |
${sed_ext} -e 's%<a href="([^/]+)\.html">%<a href="doc/\1.html">%g' \ |
< "${output_dir}/doc/index.html" > "${output_dir}/index.html" |
+rm "${output_dir}/doc/index.html" |
# Create man/index.html |
cd "${output_dir}/man" |