From bb4454912e46798202ed4e6db18866eebd71dfc0 Mon Sep 17 00:00:00 2001
From: Shing Lyu <shing.lyu@gmail.com>
Date: Mon, 10 Dec 2018 20:45:12 +0100
Subject: [PATCH] Added instruction on updating online doc and demo page

---
 README.md | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/README.md b/README.md
index 2938263e8..7d669aab8 100644
--- a/README.md
+++ b/README.md
@@ -43,6 +43,8 @@ $ cargo doc --no-deps --all # Excluding all dependencies
 
 Documentation HTML files can then be found in the `target/doc` directory.
 
+If you wish to update the online documentation. Push directly to the `release` branch (or ask a maintainer to do so), this will trigger a Travis build that updates the documentation and WebAssembly demo page.
+
 # Code organization
 
 - `parser/src`: python lexing, parsing and ast