Skip to content

Commit

Permalink
Convert manual from Wiki to mld
Browse files Browse the repository at this point in the history
This allows to view the manual offline. Converted with:

    sed -E \
        -e 's/^==== *(.*) *====/{3 \1}/g' \
        -e 's/^=== *(.*) *===/{2 \1}/g' \
        -e 's/^== *(.*) *==/{1 \1}/g' \
        -e 's/^= *(.*) *=/{0 \1}/g' \
        -e 's/\[\[(.*)\|(.*)]]/{{: \1 }\2}/g' \
        -e 's|//(.*)//|{e \1}|g' \
        -e 's/<<a_api text=".*" *\| module (.+)>>/in {!\1}/g' \
        -e 's/<<code language="ocaml" *\|/{[\n/g' \
        -e 's/<<code language="c" *\|/{@c[/g' \
        -e 's/>>/]}/g' \
        -e "s/\`\`(.*)''/“\1”/g" \
        -e 's/\.\.\./…/g' \
        "$@" | \
        perl -pe 's|{{{(.*?)}}}|[\1]|g'

and then some manual fixes for lists and tables.
  • Loading branch information
MisterDA committed Jun 9, 2022
1 parent fe3420f commit 7ff9738
Show file tree
Hide file tree
Showing 4 changed files with 990 additions and 906 deletions.
3 changes: 3 additions & 0 deletions docs/dune
Original file line number Diff line number Diff line change
@@ -0,0 +1,3 @@
(documentation
(package lwt)
(mld_files :standard))
Loading

0 comments on commit 7ff9738

Please sign in to comment.