summaryrefslogtreecommitdiffstats
path: root/tools
Commit message (Expand)AuthorAgeFilesLines
* tools/shld.sh: Add a basic RTLDPatrick McDermott2019-03-171-6/+39
* tools/shman.sh: Use tools/mtime.shPatrick McDermott2019-03-161-34/+1
* tools/mtime.sh: New filePatrick McDermott2019-03-161-0/+71
* tools/local.mk: New filePatrick McDermott2018-12-271-0/+4
* tools/shman.sh: Update and improve options helpPatrick McDermott2018-12-271-8/+12
* tools/shman.sh: Add "-b base_dir" optionPatrick McDermott2018-12-271-2/+7
* tools/shman.sh: Create any missing directoriesPatrick McDermott2018-12-271-0/+2
* tools/shman.sh: Implement SYNOPSISPatrick McDermott2018-12-271-17/+36
* tools/shman.sh: Don't treat "\" as escape char in cmd argsPatrick McDermott2018-12-271-2/+2
* tools/shman.sh: Rename and reformat @pure commandPatrick McDermott2018-12-271-3/+9
* tools/shman.sh: s/SUBSHELL SAFETY AND SIDE EFFECTS/ATTRIBUTES/Patrick McDermott2018-12-271-4/+4
* tools/shman.sh: Make executablePatrick McDermott2018-12-271-0/+0
* tools/shman.sh: Remove quotes in parameter expansionsPatrick McDermott2018-12-271-5/+5
* tools/shman.sh: Open/close tags file only oncePatrick McDermott2018-12-271-11/+8
* tools/shman.sh: Write tags filePatrick McDermott2018-12-271-0/+15
* tools/shman.sh: Fix missing local var declarationPatrick McDermott2018-12-271-0/+1
* tools/shman.sh: Drop an unused global constantPatrick McDermott2018-12-271-1/+0
* tools/shman.sh: Add @stdin, @stdout, and @stderr commandsPatrick McDermott2018-12-271-1/+16
* tools/shman.sh: Support a @purity commandPatrick McDermott2018-12-271-1/+6
* tools/shman.sh: Generate "OPERANDS" sectionsPatrick McDermott2018-12-271-1/+17
* tools/shman.sh: Generate "OPTIONS" sectionsPatrick McDermott2018-12-271-1/+22
* tools/shman.sh: Remove some old commented-out codePatrick McDermott2018-12-271-4/+0
* tools/shman.sh: Drop markdown-like font markupPatrick McDermott2018-12-271-14/+0
* tools/shman.sh: New filePatrick McDermott2018-12-271-0/+282
* tools/shld.sh, tools/shpp.sh: AddPatrick McDermott2018-12-202-0/+339