summaryrefslogtreecommitdiffstats
path: root/Makefile
diff options
context:
space:
mode:
Diffstat (limited to 'Makefile')
-rw-r--r--Makefile3
1 files changed, 2 insertions, 1 deletions
diff --git a/Makefile b/Makefile
index 150e8dcb..414a2f99 100644
--- a/Makefile
+++ b/Makefile
@@ -155,7 +155,8 @@ sanity-check-versions:
find . -name Cargo.toml | while read TOML ; do \
echo -n "$$TOML " ;\
grep '^version *=' $$TOML | grep -q $$V || bad version ;\
- grep '^documentation *=' $$TOML | grep -q $$V || bad documentation ;\
+ grep '^documentation *=' $$TOML \
+ | egrep -q "($${V})|(https://docs.rs/)" || bad documentation ;\
grep '{ *path *= *"' $$TOML | while read L ; do \
echo $$L | grep -q $$VV || bad intra-workspace dependency ;\
done ;\