Xavier, if you want to provide the dump (in any format), I'm happy to push it to some appropriate places, such as the camlp4 GitHub wiki and possibly the ocaml.org repo.
We'll need permission of the authors, so hopefully we can at least have a list of their names. On Wed, Apr 30, 2014 at 10:51 AM, Anil Madhavapeddy <[email protected]> wrote: > On 30 Apr 2014, at 13:08, Daniel Bünzli <[email protected]> > wrote: > > > > >> It's never been particularly well maintained nor organized. Recently, > >> this Wiki was attacked and heavily spammed, so it had to be turned off. > >> > >> What would be a good place to host this information again? Is there > >> interest? > > > > The bits about ocamlbuild are still useful to me now and then since > ocamlbuild documentation is really lacking. I don't really care if it's no > longer editable but it would be good to keep it around somewhere. > > > > For camlp4 we could simply put them in the camlp4 github wiki. A github > wiki is just a git repo with one markdown file per page so depending on > what you really have (is it one xml file per page ?) and if we don't care > about history this *may* be not too involved (e.g. pandoc knows how to > translate mediawiki to markdown). > > Having the Mediawiki dump would definitely be useful -- pandoc does > wonders here, as Daniel points out. Putting it in the GitHub wiki may even > encourage people to improve the ocamlbuild documentation (!). > > best, > Anil > > _______________________________________________ > Platform mailing list > [email protected] > http://lists.ocaml.org/listinfo/platform >
_______________________________________________ Platform mailing list [email protected] http://lists.ocaml.org/listinfo/platform
