<div dir="ltr">I have ported the mediawiki dump to Markdown. It'll take some manual clean up, but before I do that, where do people want the content to go? The content regards camlp4 and ocamlbuild. Thus, I see the following options:<div>
<br></div><div>A) Insert into the <a href="http://ocaml.org/learn/tutorials/">Tutorials</a> on <a href="http://ocaml.org">ocaml.org</a>.</div><div><br></div><div>B) Push the camlp4 docs to the <a href="https://github.com/ocaml/camlp4/wiki">camlp4 wiki</a> on it's github repo. However, there is not (yet) a corresponding repo for ocamlbuild, so I don't know where the ocamlbuild pages would go.</div>
<div><br></div><div>C) Push to the <a href="https://github.com/ocaml/ocaml.org/wiki/Knowledge-Base">ocaml.org wiki</a> on it's github repo. This is being used as a staging area for content that could potentially get published to <a href="http://ocaml.org">ocaml.org</a>, but isn't yet.</div>
<div><br></div><div>Please let me know if you have any opinions. Thanks.</div><div><br></div><div>There is also minimal information on the compiler, which can probably be ignored. Also there is a page about the Gallium team, which I believe is superseded by their <a href="http://gallium.inria.fr/members.html">members page</a>.</div>
<div><br></div><div>You can get an idea of the overall content that is being ported at:</div><div><a href="https://web.archive.org/web/20130929200945/http://brion.inria.fr/gallium/index.php/Camlp4">https://web.archive.org/web/20130929200945/http://brion.inria.fr/gallium/index.php/Camlp4</a><br>
</div><div><a href="https://web.archive.org/web/20130930010623/http://brion.inria.fr/gallium/index.php/Ocamlbuild">https://web.archive.org/web/20130930010623/http://brion.inria.fr/gallium/index.php/Ocamlbuild</a><br></div>
<div><br></div><div><br></div><div><br></div></div><div class="gmail_extra"><br><br><div class="gmail_quote">On Sun, May 4, 2014 at 2:06 PM, Ashish Agarwal <span dir="ltr"><<a href="mailto:agarwal1975@gmail.com" target="_blank">agarwal1975@gmail.com</a>></span> wrote:<br>
<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div dir="ltr">This request is now being tracked here:<div><a href="https://github.com/ocaml/ocaml.org/issues/473" target="_blank">https://github.com/ocaml/ocaml.org/issues/473</a><br>
</div><div><div class="h5"><div class="gmail_extra"><br><br><div class="gmail_quote">
On Wed, Apr 30, 2014 at 12:28 PM, Xavier Leroy <span dir="ltr"><<a href="mailto:Xavier.Leroy@inria.fr" target="_blank">Xavier.Leroy@inria.fr</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
Dear Ashish, dear all,<br>
<div><br>
On 30/04/14 17:25, Ashish Agarwal wrote:<br>
> Xavier, if you want to provide the dump (in any format), I'm happy to push<br>
> it to some appropriate places, such as the camlp4 GitHub wiki and possibly<br>
</div>> the <a href="http://ocaml.org" target="_blank">ocaml.org</a> <<a href="http://ocaml.org" target="_blank">http://ocaml.org</a>> repo.<br>
<br>
Here is the dump:<br>
<a href="http://gallium.inria.fr/~xleroy/tmp/backup-mediawiki-gallium.xml.gz" target="_blank">http://gallium.inria.fr/~xleroy/tmp/backup-mediawiki-gallium.xml.gz</a><br>
<br>
It starts with a zillion administrative Mediawiki pages, but the good<br>
stuff is at the end. The XML doesn't look too scary<br>
<div><br>
> We'll need permission of the authors, so hopefully we can at least have a<br>
> list of their names.<br>
<br>
</div>Yes, the XML dump includes user names for each page. I could identify<br>
the following names:<br>
<br>
<username>Bardou</username> Romain Bardou<br>
<username>Berke</username> Berke Durak<br>
<username>Brunodefraine</username> Bruno de Fraine<br>
<username>Danweil</username> Daniel Weil<br>
<username>Dbuenzli</username> Daniel Buenzli<br>
<username>Guesdon</username> Maxence Guesdon<br>
<username>Mjambon</username> Martin Jambon<br>
<username>Naxu</username> Na (Dana) Xu<br>
<username>Pilki</username> Alexandre Pilkiewicz<br>
<username>Pouillar</username> Nicolas Pouillard<br>
<username>Tews</username> Hendrik Tews<br>
<username>Xclerc</username> Xavier Clerc<br>
<br>
Thanks a lot for your help!<br>
<span><font color="#888888"><br>
- Xavier<br>
</font></span></blockquote></div><br></div></div></div></div>
</blockquote></div><br></div>