install.sh: Add our own flag parser

Fully supports long opts!
2020-05-21 15:17:02 -04:00
parent 0129e002e8
commit 510d84898c
7 changed files with 220 additions and 85 deletions
--- a/ci/dev/fmt.sh
+++ b/ci/dev/fmt.sh
@ -23,6 +23,7 @@ main() {

  doctoc --title '# FAQ' doc/FAQ.md > /dev/null
  doctoc --title '# Setup Guide' doc/guide.md > /dev/null
+  doctoc --title '# Install' doc/install.md > /dev/null

  if [[ ${CI-} && $(git ls-files --other --modified --exclude-standard) ]]; then
    echo "Files need generation or are formatted incorrectly:"