diff options
| author | Damien Doligez <damien.doligez@inria.fr> | 2019-06-19 15:56:34 +0200 |
|---|---|---|
| committer | Damien Doligez <damien.doligez@inria.fr> | 2019-06-19 15:57:59 +0200 |
| commit | 071298275876d23875347c4b56185d079821da54 (patch) | |
| tree | 89ddfea45952addec663c69eb06daeb294f0ca20 /tools | |
| parent | 5b7d65279ed0be811c4b811a37acd0e297cd949c (diff) | |
| download | ocaml-071298275876d23875347c4b56185d079821da54.tar.gz | |
Fix the instructions for uploading the manual to the Web server.
Closes: #8740
Diffstat (limited to 'tools')
| -rw-r--r-- | tools/release-checklist | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/tools/release-checklist b/tools/release-checklist index c21442da32..cb39ff98fd 100644 --- a/tools/release-checklist +++ b/tools/release-checklist @@ -116,6 +116,7 @@ git commit -m "last commit before tagging $VERSION" # update VERSION with the new release; for example, # 4.07.0+dev9-2018-06-26 => 4.07.0+rc2 # Update ocaml-variants.opam with new version. +# Update the copyright year in the manual. make coreboot -j5 make coreboot -j5 # must say "Fixpoint reached, bootstrap succeeded." git commit -m "release $VERSION" -a @@ -260,10 +261,11 @@ source /tmp/env-$USER.sh cd $WEB_PATH/caml/pub/docs mkdir -p manual-ocaml-$BRANCH cd manual-ocaml-$BRANCH +rm -fR htmlman ocaml-$BRANCH-refman-html.tar.gz wget http://caml.inria.fr/pub/distrib/ocaml-$BRANCH/ocaml-$BRANCH-refman-html.tar.gz tar -xzvf ocaml-$BRANCH-refman-html.tar.gz # this extracts into htmlman/ -cp -r htmlman/* . # move HTML content to docs/manual-caml-$BRANCH -rm -fR htmlman +/bin/cp -r htmlman/* . # move HTML content to docs/manual-caml-$BRANCH +rm -fR htmlman ocaml-$BRANCH-refman-html.tar.gz cd $WEB_PATH/caml/pub/docs rm manual-ocaml |