Wikification

To convert the Git Hub wiki "markdown" and the sc.tamu.edu web pages, I used pandoc.

Adadocs

For the Adadocs wiki, it was mostly a matter of:

#!/bin/sh
#git clone https://github.tamu.edu/j-perdue/adadocs.wiki.git
cd adadocs.wiki
for x in `ls *.md` ; do echo "### Converting $x" ; xx=`echo $x | sed 's/.md/.mw/' | sed 's/-/_/g' | sed 's/^/Ada:/'` ; pandoc -f markdown_github -t mediawiki -o $xx $x ; done
# EOF

Note that pandoc did a horrible job with tables... most of them had to be fixed manually.

sc.tamu.edu

For the sc.tamu.edu stuff, it is just a matter of finding the stuff between:

<!-- begin main content -->

<!-- end main content -->

and then cut/pasting to a file and running:

pandoc -f html -t mediawiki /tmp/foo

and then just cut pasting the output from that to the edit screen of this wiki.