Mike Gerwitz

Activist for User Freedom

path: root/tools
Commit message (Expand)AuthorAgeFilesLines
* Corrected asciidoc footer for gnu-inside.png URLMike Gerwitz2013-06-061-1/+1
* doclist will now strip html suffix and properly handle TeXMike Gerwitz2013-06-041-2/+7
* Altered doc-cp to ensure that dest dir will always existMike Gerwitz2013-06-041-2/+3
* Added tex documents to build processMike Gerwitz2013-06-031-0/+39
* Added -v flag to cp in doc-cpMike Gerwitz2013-06-021-1/+1
* Added doclist script for generating HTML fragment for papers pageMike Gerwitz2013-06-021-0/+14
* Added intial pagesMike Gerwitz2013-06-022-3/+52
* Added extfmt tool (repo2html msgfmt extensions for inlining images and code s...Mike Gerwitz2013-05-291-0/+45
* Added doc-cp scriptMike Gerwitz2013-05-251-0/+44
* mg.css fully merged into core style; consistency between article and repo2htm...Mike Gerwitz2013-05-251-3/+2
* Moved git horror story into this repository as well as the necessary build pr...Mike Gerwitz2013-05-173-0/+50