Skip to content

Commit d588d87

Browse files
committed
ci: add index.html symlink to latest stable version's intro
1 parent 636fc00 commit d588d87

File tree

1 file changed

+4
-0
lines changed

1 file changed

+4
-0
lines changed

.howdocgen

Lines changed: 4 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -1,6 +1,8 @@
11
#!/bin/bash
22
set -x
33

4+
LATEST=$(find doc -maxdepth 1 -type d -not -name doc -not -name dev -exec basename {} \; | sort -nr | head -n 1)
5+
46
wget https://raw.githubusercontent.com/ocaml/ocaml-travisci-skeleton/master/.travis-ocaml.sh
57
export OCAML_VERSION=4.06
68
bash -ex .travis-ocaml.sh
@@ -32,5 +34,7 @@ cat >$f <<EOF
3234
EOF
3335
quickdop -f doc _doc -t json -c $f -viu
3436

37+
ln -s "$LATEST/manual/intro.html" _doc/index.html
38+
3539
# TODO Also remove that line.
3640
mv tmp _doc

0 commit comments

Comments
 (0)