Drop obsolete option in CircleCI build.

jtv · Oct 5, 2024 · c1ebaf6 · c1ebaf6
1 parent da3a611
commit c1ebaf6
Showing 1 changed file with 0 additions and 1 deletion.
diff --git a/.circleci/config.yml b/.circleci/config.yml
@@ -43,7 +43,6 @@ jobs:
  name: Configure
  command: |
  ./configure \
- --disable-documentation \
  --enable-maintainer-mode \
  --enable-audit \
  --enable-shared --disable-static \