Add some util scripts and tweak write-dev-docs.

This commit is contained in:
Daniel Nichter
2011-07-12 17:17:37 -06:00
parent eb01431399
commit 9621291f89
3 changed files with 107 additions and 1 deletions

View File

@@ -40,7 +40,7 @@ else
fi
# ############################################################################
# Global variables
# Paths
# ############################################################################
DEV_DOCS=$BRANCH/docs/dev