Skip to content

Commit

Permalink
ci: Build docs by default
Browse files Browse the repository at this point in the history
  • Loading branch information
Jakuje authored and frankmorgner committed Mar 9, 2024
1 parent d6ca03a commit b694d93
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion .github/build.sh
Original file line number Diff line number Diff line change
Expand Up @@ -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
Expand Down

0 comments on commit b694d93

Please sign in to comment.