extern/bat-extras
1
0
Fork 0
mirror of https://github.com/eth-p/bat-extras.git synced 2024-12-12 17:20:40 +01:00
Code Issues Packages Projects Releases Wiki Activity

build: Build manuals by default

Browse Source
This commit is contained in:
Ethan P 2020-10-04 11:51:45 -07:00
parent 5fc43a2d8c
commit 7d2d861d7d
No known key found for this signature in database
GPG Key ID: 6963FD04F6CF35EA
1 changed files with 2 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
build.sh
View File

@ -365,7 +365,7 @@ OPT_INSTALL=false
OPT_COMPRESS=false
OPT_VERIFY=true
OPT_BANNER=true
OPT_MANUALS=false
OPT_MANUALS=true
OPT_INLINE=true
OPT_MINIFY="lib"
OPT_PREFIX="/usr/local"
@ -380,6 +380,7 @@ while shiftopt; do
--install) OPT_INSTALL=true ;;
--compress) OPT_COMPRESS=true ;;
--manuals) OPT_MANUALS=true ;;
--no-manuals) OPT_MANUALS=false ;;
--no-verify) OPT_VERIFY=false ;;
--no-banner) OPT_BANNER=false ;;
--no-inline) OPT_INLINE=false ;;