ci: Build docs by default

(cherry picked from commit b694d93)
OpenSC · Apr 4, 2024 · 9bc76d3 · 9bc76d3
1 parent 0379fce
commit 9bc76d3
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/build.sh b/.github/build.sh
@@ -54,7 +54,7 @@ else
  fi
  # normal procedure
 
- CONFIGURE_FLAGS="--disable-dependency-tracking"
+ CONFIGURE_FLAGS="--disable-dependency-tracking --enable-doc"
  if [ "$1" == "piv-sm" ]; then
  CONFIGURE_FLAGS="$CONFIGURE_FLAGS --enable-piv-sm"
  fi