Has somebody written a script to convert mediawiki markup to html? I'd need something which works with embedded latex. Looking at the mediawiki source it doesn't seem like it should be *that* hard but I haven't tried yet.
Yes, we've written one; it's called "MediaWiki". It's written in PHP, and uses a helper program 'texvc' to handle LaTeX fragments and pass them to the renderer.
The intent was to have something which didn't depend on a database, but could take wiki markup on say standard input...
If you can't or don't want to try to use MediaWiki's parser, there are a huge number of more or less somewhat-implemented clone parsers in various languages: http://meta.wikimedia.org/wiki/Alternative_parsers
I'll look at these.