Misc: fix doc generation

Author: hhugo

manual/dune.inc

@@ -9,28 +9,28 @@
   ../toplevel/examples/lwt_toplevel/toplevel.bc.js
   ../toplevel/examples/lwt_toplevel/test_dynlink.js
   ../examples/boulderdash/index.html
-  ../examples/boulderdash/boulderdash.js
+  ../examples/boulderdash/boulderdash.bc.js
   (source_tree ../examples/boulderdash/sprites/)
   ../examples/webgl/index.html
-  ../examples/webgl/webgldemo.js
+  ../examples/webgl/webgldemo.bc.js
   ../examples/graph_viewer/index.html
-  ../examples/graph_viewer/viewer_js.js
+  ../examples/graph_viewer/viewer_js.bc.js
   ../examples/planet/index.html
   ../examples/planet/texture.jpg
-  ../examples/planet/planet.js
+  ../examples/planet/planet.bc.js
   ../examples/wiki/index.html
-  ../examples/wiki/main.js
+  ../examples/wiki/main.bc.js
   ../examples/wysiwyg/index.html
-  ../examples/wysiwyg/main.js
+  ../examples/wysiwyg/main.bc.js
   ../examples/hyperbolic/index.html
-  ../examples/hyperbolic/hypertree.js
+  ../examples/hyperbolic/hypertree.bc.js
   (source_tree ../examples/hyperbolic/icons/)
   (source_tree ../examples/hyperbolic/thumbnails/)
   ../examples/minesweeper/index.html
-  ../examples/minesweeper/main.js
+  ../examples/minesweeper/main.bc.js
   (source_tree ../examples/minesweeper/sprites/)
   ../examples/cubes/index.html
-  ../examples/cubes/cubes.js)
+  ../examples/cubes/cubes.bc.js)
  (action (progn
   (bash "mkdir -p files/toplevel")
   (bash "mkdir -p files/boulderdash")
@@ -42,12 +42,12 @@
   (bash "mkdir -p files/hyperbolic")
   (bash "mkdir -p files/minesweeper")
   (bash "mkdir -p files/cubes")(bash "cp -r ../toplevel/examples/lwt_toplevel/index.html ../toplevel/examples/lwt_toplevel/toplevel.js ../toplevel/examples/lwt_toplevel/toplevel.bc.js ../toplevel/examples/lwt_toplevel/test_dynlink.js files/toplevel")
-  (bash "cp -r ../examples/boulderdash/index.html ../examples/boulderdash/boulderdash.js ../examples/boulderdash/sprites files/boulderdash")
-  (bash "cp -r ../examples/webgl/index.html ../examples/webgl/webgldemo.js files/webgl")
-  (bash "cp -r ../examples/graph_viewer/index.html ../examples/graph_viewer/viewer_js.js files/graph_viewer")
-  (bash "cp -r ../examples/planet/index.html ../examples/planet/texture.jpg ../examples/planet/planet.js files/planet")
-  (bash "cp -r ../examples/wiki/index.html ../examples/wiki/main.js files/wiki")
-  (bash "cp -r ../examples/wysiwyg/index.html ../examples/wysiwyg/main.js files/wysiwyg")
-  (bash "cp -r ../examples/hyperbolic/index.html ../examples/hyperbolic/hypertree.js ../examples/hyperbolic/icons ../examples/hyperbolic/thumbnails files/hyperbolic")
-  (bash "cp -r ../examples/minesweeper/index.html ../examples/minesweeper/main.js ../examples/minesweeper/sprites files/minesweeper")
-  (bash "cp -r ../examples/cubes/index.html ../examples/cubes/cubes.js files/cubes"))))
+  (bash "cp -r ../examples/boulderdash/index.html ../examples/boulderdash/boulderdash.bc.js ../examples/boulderdash/sprites files/boulderdash")
+  (bash "cp -r ../examples/webgl/index.html ../examples/webgl/webgldemo.bc.js files/webgl")
+  (bash "cp -r ../examples/graph_viewer/index.html ../examples/graph_viewer/viewer_js.bc.js files/graph_viewer")
+  (bash "cp -r ../examples/planet/index.html ../examples/planet/texture.jpg ../examples/planet/planet.bc.js files/planet")
+  (bash "cp -r ../examples/wiki/index.html ../examples/wiki/main.bc.js files/wiki")
+  (bash "cp -r ../examples/wysiwyg/index.html ../examples/wysiwyg/main.bc.js files/wysiwyg")
+  (bash "cp -r ../examples/hyperbolic/index.html ../examples/hyperbolic/hypertree.bc.js ../examples/hyperbolic/icons ../examples/hyperbolic/thumbnails files/hyperbolic")
+  (bash "cp -r ../examples/minesweeper/index.html ../examples/minesweeper/main.bc.js ../examples/minesweeper/sprites files/minesweeper")
+  (bash "cp -r ../examples/cubes/index.html ../examples/cubes/cubes.bc.js files/cubes"))))

manual/gen_dune_inc.ml

@@ -6,17 +6,17 @@ let all : desc list =
     , [ "index.html"; "toplevel.js"; "toplevel.bc.js"; "test_dynlink.js" ] )
   ; ( "../examples/boulderdash"
     , "boulderdash"
-    , [ "index.html"; "boulderdash.js"; "sprites/" ] )
-  ; "../examples/webgl", "webgl", [ "index.html"; "webgldemo.js" ]
-  ; "../examples/graph_viewer", "graph_viewer", [ "index.html"; "viewer_js.js" ]
-  ; "../examples/planet", "planet", [ "index.html"; "texture.jpg"; "planet.js" ]
-  ; "../examples/wiki", "wiki", [ "index.html"; "main.js" ]
-  ; "../examples/wysiwyg", "wysiwyg", [ "index.html"; "main.js" ]
+    , [ "index.html"; "boulderdash.bc.js"; "sprites/" ] )
+  ; "../examples/webgl", "webgl", [ "index.html"; "webgldemo.bc.js" ]
+  ; "../examples/graph_viewer", "graph_viewer", [ "index.html"; "viewer_js.bc.js" ]
+  ; "../examples/planet", "planet", [ "index.html"; "texture.jpg"; "planet.bc.js" ]
+  ; "../examples/wiki", "wiki", [ "index.html"; "main.bc.js" ]
+  ; "../examples/wysiwyg", "wysiwyg", [ "index.html"; "main.bc.js" ]
   ; ( "../examples/hyperbolic"
     , "hyperbolic"
-    , [ "index.html"; "hypertree.js"; "icons/"; "thumbnails/" ] )
-  ; "../examples/minesweeper", "minesweeper", [ "index.html"; "main.js"; "sprites/" ]
-  ; "../examples/cubes", "cubes", [ "index.html"; "cubes.js" ]
+    , [ "index.html"; "hypertree.bc.js"; "icons/"; "thumbnails/" ] )
+  ; "../examples/minesweeper", "minesweeper", [ "index.html"; "main.bc.js"; "sprites/" ]
+  ; "../examples/cubes", "cubes", [ "index.html"; "cubes.bc.js" ]
   ]
 
 let deps (dir, _, files) = List.map (fun f -> dir ^ "/" ^ f) files