diff --git a/dodoc.sh b/dodoc.sh index 945c05d2b6..78cfad3240 100755 --- a/dodoc.sh +++ b/dodoc.sh @@ -90,7 +90,7 @@ do it=$(expr "$path" : doc-$type-inst/'\(.*\)') || continue t="doc-${type}pages/$it" test -f "$t" && diff -q "$path" "$t" && continue - + mkdir -p "$(dirname "$t")" && echo ": $t" && rm -f "$t" && ln "$path" "$t" || exit ( cd doc-${type}pages && git add "$it" ) done || exit