bc6cd539fe
Remove duplicates in tools/
...
Also exist in src/current/tools.
* tools/csv2xml: remove file
* tools/csvi: remove file
* tools/csvm2csv: remove file
* tools/gen-make: remove file
* tools/tdat2xml: remove file
* tools/zipre: remove file
2017-11-22 10:15:51 -05:00
Mike Gerwitz
222a71b34c
tools/strip: Accept files as arguments
...
Not sure how this hard-coded one ended up getting committed.
* tools/strip: Accept filenames as arguments.
2017-07-18 15:32:42 -04:00
Mike Gerwitz
652465a0a0
tools/strip: Add utility
2017-07-05 13:52:06 -04:00
Mike Gerwitz
e06759dcd0
Add missing format conversion/compilation tools
2017-04-06 23:28:38 -04:00
Mike Gerwitz
9669b80536
Adjust tools/vergen for our tagging scheme
...
We use a `v' prefix.
* tools/vergen (version): Recognize `v'-prefixed tags.
2016-11-15 12:26:38 -05:00
Mike Gerwitz
3433ff8d5a
Add tools/vergen
...
Taken from GNU ease.js.
* tools/vergen: Added script.
2016-11-15 12:04:23 -05:00
1457d72221
Update literate-xsl
...
This makes changes necessary to new ref format (which includes arity).
* src/graph.xsl: @ref function arity added
* src/preproc/expand/expand-sequence.xsl: @ref function arity added
* tools/literate-xsl: Submodule updated
2016-07-14 09:15:38 -04:00
38e147e5e4
Documentation and testing scaffolding
2015-04-16 13:21:22 -04:00
Mike Gerwitz
Mike Gerwitz