Fix small newline typo. Add option argument in script. Prevent rebuilding by default if git is unchanged. see build_doc --help for available option
64 KiB
64 KiB
Fix small newline typo. Add option argument in script. Prevent rebuilding by default if git is unchanged. see build_doc --help for available option