fix(doc): Update README and instructions for building documentation

Signed-off-by: Jerome Simeon <[email protected]>

Author: jeromesimeon

README.md

@@ -208,7 +208,7 @@ $ cd bin; java -jar javaService.jar -server 9879
 
 Code documentation and background information, notably references for all supported languages, can be found on the Q\*cert Web site: https://querycert.github.io
 
-If you want to re-generated the documentation from the source itself, you will need to install [coq2html](https://github.com/xavierleroy/coq2html). Detailed instructions are provided in [doc/README.md](doc/README.md)
+If you want to re-generated the documentation from the source itself, you will need to install [coq2html](https://github.com/xavierleroy/coq2html). Detailed instructions are provided in [doc/README.md](documentation/README.md)
 
 ## Using Q\*cert
 
@@ -383,11 +383,6 @@ $ java -cp runtimes/java/bin:bin/*:bin/lib/*:tests/oql testing.runners.RunJava \
 ```
 
 
-### Cloudant Target
-
-TO BE WRITTEN
-
-
 ### Spark RDDs Target
 
 TO BE WRITTEN
@@ -404,6 +399,11 @@ $ run.sh
 ```
 
 
+### WASM Target
+
+TO BE WRITTEN
+
+
 ## Caveats
 
 - There is no official support for Windows, although some success has been reported using Cygwin

compiler/core/Translation/Lang/JavaScriptAsttoJavaScript.v

@@ -391,7 +391,7 @@ Section ToString.
              (f:funcdecl)
              (i: nat) (* indentation level *)
     : string :=
-    (* XXX All methods are declare as static *)
+    (* All methods are declared as static *)
     eol ++ indent i ++ "static " ++ f.(funcdecl_name) ++ "(" ++ (comma_list f.(funcdecl_parameters)) ++ ") {" ++ eol
         ++ string_of_funcbody f.(funcdecl_body) (i+1) ++ eol ++ indent i ++ "}"
   .

documentation/Makefile

@@ -20,7 +20,7 @@ CP=cp
 
 ## Deploy documentation
 all:
-	make -C ../compiler/core documentation
+	make -C .. docs
 
 deploy:
 	$(CP) qcertsite.css $(QUERYCERTDOTIO)

documentation/README.md

@@ -35,14 +35,14 @@ Then from the top-level `qcert` direcory, do:
 
 ```
 make qcert
-make documentation
+make docs
 ```
 
-This will regenerate the `doc/html` directory
+This will regenerate the `documentation/html` directory
 
 # To update the compilation pipeline
 
-Edit the LaTeX file `doc/figure/compiler-coq.tex`, then do:
+Edit the LaTeX file `documentation/figure/compiler-coq.tex`, then do:
 
 ```
 cd figure
@@ -52,12 +52,12 @@ make
 # To re-deploy the demo and documentation
 
 To deploy the demo and new documentation to the external Q*cert Web
-site, first check that the `QUERYCERTDOTIO` in `doc/Makefile` has the
+site, first check that the `QUERYCERTDOTIO` in `documentation/Makefile` has the
 right location for your git checkout of the `querycert.github.io`
 project. By default, it's assumed to be checked out from github as a
 sibbling of the `qcert` repository.
 
-Then from the `doc` directory, do:
+Then from the `documentation` directory, do:
 ```
 make deploy
 ```