3 pages
=$
(for page
in $@
; do echo $page; done | LC_ALL
=C
sort -f)
7 echo ":mlton-guide-page: ${page}"
9 # echo "include::${page}.adoc[]"
10 cat src
/${page}.adoc |
11 # sed -e '1 { s/\(.*\)/[['${page}']]\1/; h; N; g; s/./=/g; x; G; }' |
12 sed -e '/^:toc:$/ { d; }' |
16 echo "MLton Guide ({mlton-version})"
17 echo "============================="
19 echo ":mlton-guide-page!:"
23 echo "This is the guide for MLton, an open-source, whole-program, optimizing Standard ML compiler."
25 echo "This guide was generated automatically from the MLton website, available online at http://mlton.org. It is up to date for MLton {mlton-version}."
29 echo ":leveloffset: 1"
36 for page
in ${pages}; do