<div dir="ltr">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 <a href="http://ocaml.org">ocaml.org</a> repo.<div>

<br></div><div>We'll need permission of the authors, so hopefully we can at least have a list of their names.</div><div><br></div></div><div class="gmail_extra"><br><br><div class="gmail_quote">On Wed, Apr 30, 2014 at 10:51 AM, Anil Madhavapeddy <span dir="ltr"><<a href="mailto:anil@recoil.org" target="_blank">anil@recoil.org</a>></span> wrote:<br>

<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div class="">On 30 Apr 2014, at 13:08, Daniel Bünzli <<a href="mailto:daniel.buenzli@erratique.ch">daniel.buenzli@erratique.ch</a>> wrote:<br>


<br>
><br>
>> It's never been particularly well maintained nor organized. Recently,<br>
>> this Wiki was attacked and heavily spammed, so it had to be turned off.<br>
>><br>
>> What would be a good place to host this information again? Is there<br>
>> interest?<br>
><br>
> 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.<br>


><br>
> 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).<br>


<br>
</div>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 (!).<br>
<br>
best,<br>
Anil<br>
<div class="HOEnZb"><div class="h5"><br>
_______________________________________________<br>
Platform mailing list<br>
<a href="mailto:Platform@lists.ocaml.org">Platform@lists.ocaml.org</a><br>
<a href="http://lists.ocaml.org/listinfo/platform" target="_blank">http://lists.ocaml.org/listinfo/platform</a><br>
</div></div></blockquote></div><br></div>