Deploying to gh-pages from @ e0b1cf1 🚀

ocsigen · Dec 29, 2023 · a93720f · a93720f
1 parent d114f6a
commit a93720f
Show file tree

Hide file tree

Showing 124 changed files with 1,044 additions and 600 deletions.
diff --git a/7.1/manual/application.html b/7.1/manual/application.html
diff --git a/7.1/manual/basics-server.html b/7.1/manual/basics-server.html
diff --git a/7.1/manual/basics.html b/7.1/manual/basics.html
diff --git a/7.1/manual/basicwebsite.html b/7.1/manual/basicwebsite.html
diff --git a/7.1/manual/chat.html b/7.1/manual/chat.html
diff --git a/7.1/manual/custom-conf.html b/7.1/manual/custom-conf.html
diff --git a/7.1/manual/hash-password.html b/7.1/manual/hash-password.html
diff --git a/7.1/manual/how-do-i-create-a-cryptographically-safe-identifier.html b/7.1/manual/how-do-i-create-a-cryptographically-safe-identifier.html
diff --git a/7.1/manual/how-does-a-page-s-source-code-look.html b/7.1/manual/how-does-a-page-s-source-code-look.html
diff --git a/7.1/manual/how-to-add-a-div.html b/7.1/manual/how-to-add-a-div.html
diff --git a/7.1/manual/how-to-add-a-favicon.html b/7.1/manual/how-to-add-a-favicon.html
diff --git a/7.1/manual/how-to-add-a-javascript-script.html b/7.1/manual/how-to-add-a-javascript-script.html
diff --git a/7.1/manual/how-to-add-a-list.html b/7.1/manual/how-to-add-a-list.html
diff --git a/7.1/manual/how-to-add-a-select-or-other-form-element.html b/7.1/manual/how-to-add-a-select-or-other-form-element.html
diff --git a/7.1/manual/how-to-add-an-image.html b/7.1/manual/how-to-add-an-image.html
diff --git a/7.1/manual/how-to-add-css-stylesheet.html b/7.1/manual/how-to-add-css-stylesheet.html
diff --git a/7.1/manual/how-to-attach-ocaml-values-to-dom-elements.html b/7.1/manual/how-to-attach-ocaml-values-to-dom-elements.html
diff --git a/7.1/manual/how-to-attach-ocaml-values-to-the-html-nodes-sent-to-the-client.html b/7.1/manual/how-to-attach-ocaml-values-to-the-html-nodes-sent-to-the-client.html
diff --git a/7.1/manual/how-to-build-js-object.html b/7.1/manual/how-to-build-js-object.html
diff --git a/7.1/manual/how-to-call-a-server-side-function-from-client-side.html b/7.1/manual/how-to-call-a-server-side-function-from-client-side.html
diff --git a/7.1/manual/how-to-call-an-ocaml-function-from-js-code.html b/7.1/manual/how-to-call-an-ocaml-function-from-js-code.html
diff --git a/7.1/manual/how-to-compile-my-ocsigen-pages.html b/7.1/manual/how-to-compile-my-ocsigen-pages.html
diff --git a/7.1/manual/how-to-configure-and-launch-the-ocsigen-server.html b/7.1/manual/how-to-configure-and-launch-the-ocsigen-server.html
diff --git a/...w-to-create-form-wizard-sequence-of-pages-depending-on-data-entered-on-previous-ones.html b/...w-to-create-form-wizard-sequence-of-pages-depending-on-data-entered-on-previous-ones.html
diff --git a/7.1/manual/how-to-create-link-to-a-current-page-without-knowing-its-url.html b/7.1/manual/how-to-create-link-to-a-current-page-without-knowing-its-url.html
diff --git a/7.1/manual/how-to-detect-channel-disconnection.html b/7.1/manual/how-to-detect-channel-disconnection.html
diff --git a/...al/how-to-detect-on-client-side-that-the-server-side-state-for-the-process-is-closed.html b/...al/how-to-detect-on-client-side-that-the-server-side-state-for-the-process-is-closed.html
diff --git a/7.1/manual/how-to-do-links-to-other-pages.html b/7.1/manual/how-to-do-links-to-other-pages.html
diff --git a/7.1/manual/how-to-implement-a-notification-system.html b/7.1/manual/how-to-implement-a-notification-system.html
diff --git a/7.1/manual/how-to-insert-raw-form-elements-not-belonging-to-a-form-towards-a-service.html b/7.1/manual/how-to-insert-raw-form-elements-not-belonging-to-a-form-towards-a-service.html
diff --git a/7.1/manual/how-to-iterate-on-all-sessions-for-one-user-or-all-tabs.html b/7.1/manual/how-to-iterate-on-all-sessions-for-one-user-or-all-tabs.html
diff --git a/7.1/manual/how-to-know-whether-the-browser-window-has-the-focus-or-not.html b/7.1/manual/how-to-know-whether-the-browser-window-has-the-focus-or-not.html
diff --git a/7.1/manual/how-to-make-hello-world-in-ocsigen.html b/7.1/manual/how-to-make-hello-world-in-ocsigen.html
diff --git a/7.1/manual/how-to-make-page-a-skeleton.html b/7.1/manual/how-to-make-page-a-skeleton.html
diff --git a/7.1/manual/how-to-make-responsive-css.html b/7.1/manual/how-to-make-responsive-css.html
diff --git a/...he-client-side-program-get-an-html-element-from-the-server-and-insert-it-in-the-page.html b/...he-client-side-program-get-an-html-element-from-the-server-and-insert-it-in-the-page.html
diff --git a/7.1/manual/how-to-register-a-service-that-decides-itself-what-to-send.html b/7.1/manual/how-to-register-a-service-that-decides-itself-what-to-send.html
diff --git a/7.1/manual/how-to-register-session-data.html b/7.1/manual/how-to-register-session-data.html
diff --git a/7.1/manual/how-to-send-a-file-to-server-without-stopping-the-client-process.html b/7.1/manual/how-to-send-a-file-to-server-without-stopping-the-client-process.html
diff --git a/7.1/manual/how-to-send-file-download.html b/7.1/manual/how-to-send-file-download.html
diff --git a/7.1/manual/how-to-send-file-upload.html b/7.1/manual/how-to-send-file-upload.html
diff --git a/7.1/manual/how-to-set-and-id-classes-or-other-attributes-to-html-elements.html b/7.1/manual/how-to-set-and-id-classes-or-other-attributes-to-html-elements.html
diff --git a/7.1/manual/how-to-stop-default-behaviour-of-events.html b/7.1/manual/how-to-stop-default-behaviour-of-events.html
diff --git a/7.1/manual/how-to-use-get-parameters-or-parameters-in-the-url.html b/7.1/manual/how-to-use-get-parameters-or-parameters-in-the-url.html
diff --git a/7.1/manual/how-to-write-a-json-service.html b/7.1/manual/how-to-write-a-json-service.html
diff --git a/7.1/manual/how-to-write-forms.html b/7.1/manual/how-to-write-forms.html
diff --git a/7.1/manual/how-to-write-titles-and-paragraphs.html b/7.1/manual/how-to-write-titles-and-paragraphs.html
diff --git a/7.1/manual/html.html b/7.1/manual/html.html
diff --git a/7.1/manual/interaction.html b/7.1/manual/interaction.html
diff --git a/7.1/manual/intro.html b/7.1/manual/intro.html
diff --git a/7.1/manual/lwt.html b/7.1/manual/lwt.html
diff --git a/7.1/manual/macaque.html b/7.1/manual/macaque.html
diff --git a/7.1/manual/misc.html b/7.1/manual/misc.html
diff --git a/7.1/manual/mobile.html b/7.1/manual/mobile.html
diff --git a/7.1/manual/music.html b/7.1/manual/music.html
diff --git a/7.1/manual/ocsipersist.html b/7.1/manual/ocsipersist.html
diff --git a/7.1/manual/pictures.html b/7.1/manual/pictures.html
diff --git a/7.1/manual/reactivemediaplayer.html b/7.1/manual/reactivemediaplayer.html
diff --git a/7.1/manual/rest.html b/7.1/manual/rest.html
diff --git a/7.1/manual/start.html b/7.1/manual/start.html
diff --git a/7.1/manual/tutoreact.html b/7.1/manual/tutoreact.html
diff --git a/7.1/manual/tutowidgets.html b/7.1/manual/tutowidgets.html
diff --git a/dev/manual/application.html b/dev/manual/application.html
diff --git a/dev/manual/basics-server.html b/dev/manual/basics-server.html
diff --git a/dev/manual/basics.html b/dev/manual/basics.html
diff --git a/dev/manual/basicwebsite.html b/dev/manual/basicwebsite.html
diff --git a/dev/manual/chat.html b/dev/manual/chat.html
diff --git a/dev/manual/custom-conf.html b/dev/manual/custom-conf.html
diff --git a/dev/manual/hash-password.html b/dev/manual/hash-password.html
diff --git a/dev/manual/how-do-i-create-a-cryptographically-safe-identifier.html b/dev/manual/how-do-i-create-a-cryptographically-safe-identifier.html
diff --git a/dev/manual/how-does-a-page-s-source-code-look.html b/dev/manual/how-does-a-page-s-source-code-look.html
diff --git a/dev/manual/how-to-add-a-div.html b/dev/manual/how-to-add-a-div.html
diff --git a/dev/manual/how-to-add-a-favicon.html b/dev/manual/how-to-add-a-favicon.html
diff --git a/dev/manual/how-to-add-a-javascript-script.html b/dev/manual/how-to-add-a-javascript-script.html
diff --git a/dev/manual/how-to-add-a-list.html b/dev/manual/how-to-add-a-list.html
diff --git a/dev/manual/how-to-add-a-select-or-other-form-element.html b/dev/manual/how-to-add-a-select-or-other-form-element.html
diff --git a/dev/manual/how-to-add-an-image.html b/dev/manual/how-to-add-an-image.html
diff --git a/dev/manual/how-to-add-css-stylesheet.html b/dev/manual/how-to-add-css-stylesheet.html
diff --git a/dev/manual/how-to-attach-ocaml-values-to-dom-elements.html b/dev/manual/how-to-attach-ocaml-values-to-dom-elements.html
diff --git a/dev/manual/how-to-attach-ocaml-values-to-the-html-nodes-sent-to-the-client.html b/dev/manual/how-to-attach-ocaml-values-to-the-html-nodes-sent-to-the-client.html
diff --git a/dev/manual/how-to-build-js-object.html b/dev/manual/how-to-build-js-object.html
diff --git a/dev/manual/how-to-call-a-server-side-function-from-client-side.html b/dev/manual/how-to-call-a-server-side-function-from-client-side.html
diff --git a/dev/manual/how-to-call-an-ocaml-function-from-js-code.html b/dev/manual/how-to-call-an-ocaml-function-from-js-code.html
diff --git a/dev/manual/how-to-compile-my-ocsigen-pages.html b/dev/manual/how-to-compile-my-ocsigen-pages.html
diff --git a/dev/manual/how-to-configure-and-launch-the-ocsigen-server.html b/dev/manual/how-to-configure-and-launch-the-ocsigen-server.html
diff --git a/...w-to-create-form-wizard-sequence-of-pages-depending-on-data-entered-on-previous-ones.html b/...w-to-create-form-wizard-sequence-of-pages-depending-on-data-entered-on-previous-ones.html
diff --git a/dev/manual/how-to-create-link-to-a-current-page-without-knowing-its-url.html b/dev/manual/how-to-create-link-to-a-current-page-without-knowing-its-url.html
diff --git a/dev/manual/how-to-detect-channel-disconnection.html b/dev/manual/how-to-detect-channel-disconnection.html
diff --git a/...al/how-to-detect-on-client-side-that-the-server-side-state-for-the-process-is-closed.html b/...al/how-to-detect-on-client-side-that-the-server-side-state-for-the-process-is-closed.html
diff --git a/dev/manual/how-to-do-links-to-other-pages.html b/dev/manual/how-to-do-links-to-other-pages.html
diff --git a/dev/manual/how-to-implement-a-notification-system.html b/dev/manual/how-to-implement-a-notification-system.html
diff --git a/dev/manual/how-to-insert-raw-form-elements-not-belonging-to-a-form-towards-a-service.html b/dev/manual/how-to-insert-raw-form-elements-not-belonging-to-a-form-towards-a-service.html
diff --git a/dev/manual/how-to-iterate-on-all-sessions-for-one-user-or-all-tabs.html b/dev/manual/how-to-iterate-on-all-sessions-for-one-user-or-all-tabs.html
diff --git a/dev/manual/how-to-know-whether-the-browser-window-has-the-focus-or-not.html b/dev/manual/how-to-know-whether-the-browser-window-has-the-focus-or-not.html
diff --git a/dev/manual/how-to-make-hello-world-in-ocsigen.html b/dev/manual/how-to-make-hello-world-in-ocsigen.html
diff --git a/dev/manual/how-to-make-page-a-skeleton.html b/dev/manual/how-to-make-page-a-skeleton.html
diff --git a/dev/manual/how-to-make-responsive-css.html b/dev/manual/how-to-make-responsive-css.html
diff --git a/...he-client-side-program-get-an-html-element-from-the-server-and-insert-it-in-the-page.html b/...he-client-side-program-get-an-html-element-from-the-server-and-insert-it-in-the-page.html
diff --git a/dev/manual/how-to-register-a-service-that-decides-itself-what-to-send.html b/dev/manual/how-to-register-a-service-that-decides-itself-what-to-send.html
diff --git a/dev/manual/how-to-register-session-data.html b/dev/manual/how-to-register-session-data.html
diff --git a/dev/manual/how-to-send-a-file-to-server-without-stopping-the-client-process.html b/dev/manual/how-to-send-a-file-to-server-without-stopping-the-client-process.html
diff --git a/dev/manual/how-to-send-file-download.html b/dev/manual/how-to-send-file-download.html
diff --git a/dev/manual/how-to-send-file-upload.html b/dev/manual/how-to-send-file-upload.html
diff --git a/dev/manual/how-to-set-and-id-classes-or-other-attributes-to-html-elements.html b/dev/manual/how-to-set-and-id-classes-or-other-attributes-to-html-elements.html
diff --git a/dev/manual/how-to-stop-default-behaviour-of-events.html b/dev/manual/how-to-stop-default-behaviour-of-events.html
diff --git a/dev/manual/how-to-use-get-parameters-or-parameters-in-the-url.html b/dev/manual/how-to-use-get-parameters-or-parameters-in-the-url.html
diff --git a/dev/manual/how-to-write-a-json-service.html b/dev/manual/how-to-write-a-json-service.html
diff --git a/dev/manual/how-to-write-forms.html b/dev/manual/how-to-write-forms.html
diff --git a/dev/manual/how-to-write-titles-and-paragraphs.html b/dev/manual/how-to-write-titles-and-paragraphs.html
diff --git a/dev/manual/html.html b/dev/manual/html.html
diff --git a/dev/manual/interaction.html b/dev/manual/interaction.html
diff --git a/dev/manual/intro.html b/dev/manual/intro.html
diff --git a/dev/manual/lwt.html b/dev/manual/lwt.html
diff --git a/dev/manual/macaque.html b/dev/manual/macaque.html
diff --git a/dev/manual/misc.html b/dev/manual/misc.html
diff --git a/dev/manual/mobile.html b/dev/manual/mobile.html
diff --git a/dev/manual/music.html b/dev/manual/music.html
diff --git a/dev/manual/ocsipersist.html b/dev/manual/ocsipersist.html
diff --git a/dev/manual/pictures.html b/dev/manual/pictures.html
diff --git a/dev/manual/reactivemediaplayer.html b/dev/manual/reactivemediaplayer.html
diff --git a/dev/manual/rest.html b/dev/manual/rest.html
diff --git a/dev/manual/start.html b/dev/manual/start.html
diff --git a/dev/manual/tutoreact.html b/dev/manual/tutoreact.html
diff --git a/dev/manual/tutowidgets.html b/dev/manual/tutowidgets.html