| author | Olivier Brunel
<jjk@jjacky.com> 2023-06-21 10:35:35 UTC |
| committer | Olivier Brunel
<jjk@jjacky.com> 2023-06-28 16:07:22 UTC |
| parent | c630ab9f25e4b450ee377c3806d30ed2fc8eada0 |
| configure | +1 | -1 |
diff --git a/configure b/configure index bda59b1..b029763 100755 --- a/configure +++ b/configure @@ -849,7 +849,7 @@ setupobjs() continue elif test "$name" = "doc"; then if test $nodoc -eq 1; then continue; fi - objs="$(find "$d" -name '*.md')" + objs="$(find "$d" -name '*.md' \! -path "$d"/include/'*')" for i in {9..0}; do local s="$(echo "$objs" \ | sed -e 's/^src\/doc\/\(.\+\).'$i'.md$/build\/doc\/\1.'$i'.md/g' \