Richard Marko
|
04b46678a4
|
treewide: fix shebangs - /bin/bash -> /usr/bin/env bash
Most scripts/tools use non-portable `/bin/bash`, switch
to environment agnostic `/usr/bin/env bash`.
|
2024-02-13 11:36:23 +11:00 |
Patrick José Pereira
|
9dee2c4981
|
Tools: Add ardusub
Signed-off-by: Patrick José Pereira <patrickelectric@gmail.com>
|
2018-05-08 09:58:13 +10:00 |
Patrick José Pereira
|
f4559113c5
|
Tools: Update build_docs script
Signed-off-by: Patrick José Pereira <patrickelectric@gmail.com>
|
2018-05-08 09:58:13 +10:00 |
Andrew Tridgell
|
61507ccd20
|
autotest: build docs on each autotest run
|
2013-08-15 09:04:58 +10:00 |