author | Olivier Brunel
<jjk@jjacky.com> 2023-05-25 14:28:28 UTC |
committer | Olivier Brunel
<jjk@jjacky.com> 2023-06-20 07:07:15 UTC |
parent | dfccf169939c78db2705d232899206f4bf442689 |
configure | +3 | -1 |
diff --git a/configure b/configure index 83860f7..be4195e 100755 --- a/configure +++ b/configure @@ -818,7 +818,9 @@ setupobjs() local name="$(expr substr "$d" 5 ${#d})" if test "$name" = "*" || test "$name" = "include"; then continue; fi local objs - if test "$name" = "doc"; then + if test "$name" = "extra"; then + continue + elif test "$name" = "doc"; then if test $nodoc -eq 1; then continue; fi objs="$(find "$d" -name '*.md')" for i in {9..0}; do