Here lies some scripts to aid writing documentation:
makeskel.sh - build skeleton of all kernel units
makedoc.sh  - build documentation of all kernel units
