[ re #1274 ] documenting the generation of documentation

Author: gallais

notes/release-guide.txt

@@ -61,6 +61,29 @@ procedure should be followed:
 * Announce the release of the new version on the Agda mailing lists
   (users and developers).
 
+* Add v$VERSION to the list of protected directories in the .travis.yml
+  file of BOTH master and experimental. They should look something like:
+
+  >  git checkout HEAD -- v0.16/ v0.17/ v1.0/ v1.1/ (...)
+
+  Commit & push these changes. This will prevent the next step from being
+  overwritten by travis.
+
+* Generate and upload documentation for the released version:
+
+    cp travis/* .
+    runhaskell GenerateEverything.hs
+    ./index.sh
+    agda -i. -isrc --html index.agda
+    mv html v$VERSION
+    git checkout gh-pages
+    git add v$VERSION/*.html v$VERSION/*.css
+    git commit -m "[ release ] doc for version $VERSION"
+    git push
+
+  After that you can cleanup the generated files and copies of things taken from travis/
+  from your agda-stdlib directory.
+
 #### Post-release
 
 * Move the CHANGELOG.md into the old CHANGELOG folders