clone from: https://github.com/miquels/webdav-handler-rs

2022-12-30 20:52:41 +08:00
parent f933400535
commit d3a950b54d
47 changed files with 10444 additions and 2 deletions
--- a/13
+++ b/13
@@ -0,0 +1,13 @@
+#! /bin/sh
+
+VERSION=$(sed -ne 's!^version *= *"\(.*\)".*!\1!p' Cargo.toml)
+DOCS="https://docs.rs/webdav-handler/$VERSION/webdav_handler"
+
+if ! fgrep "$VERSION" src/lib.rs >/dev/null
+then
+	echo "WARNING: html_root_url in src/lib.rs out of date"
+fi
+
+cargo readme |
+	sed -e 's!^\(.*\]: \)\(.*\.html\)$!\1'"$DOCS"'/\2!' > README.md
+