Add crude system to update gh-pages using dune

4 files changed, 15 insertions, 254 deletions

diff --git a/doc/api.odocl b/doc/api.odocl
deleted file mode 100644
index 5258147..0000000
--- a/doc/api.odocl
+++ /dev/null
@@ -1 +0,0 @@
-Log
diff --git a/doc/dev.odocl b/doc/dev.odocl
deleted file mode 100644
index 5258147..0000000
--- a/doc/dev.odocl
+++ /dev/null
@@ -1 +0,0 @@
-Log
diff --git a/doc/gh-pages.sh b/doc/gh-pages.sh
new file mode 100644
index 0000000..9a5bcec
--- /dev/null
+++ b/doc/gh-pages.sh
@@ -0,0 +1,15 @@
+#!/bin/sh
+set -e
+
+REV=$(git rev-parse HEAD)
+
+cd "$(dirname "$0")"
+git stash
+dune build @doc
+git checkout gh-pages
+rm -rf doc
+cp -R _build/default/_doc/_html doc
+git add doc
+git commit -m "Update documentation for $REV"
+git checkout master
+git stash apply
diff --git a/doc/style.css b/doc/style.css
deleted file mode 100644
index cd01d86..0000000
--- a/doc/style.css
+++ /dev/null
@@ -1,252 +0,0 @@
-@charset "UTF-8";
-/* Copyright (c) 2016 Daniel C. Bünzli. All rights reserved.
-   Distributed under the ISC license, see terms at the end of the file.
-   odig v0.0.1-36-gabe18e1 */
-
-/* Reset a few things. */
-
-html,body,div,span,applet,object,iframe,h1,h2,h3,h4,h5,h6,p,blockquote,pre,
-a,abbr,acronym,address,big,cite,code,del,dfn,em,img,ins,kbd,q,s,samp,
-small,strike,strong,sub,sup,tt,var,b,u,i,center,dl,dt,dd,ol,ul,li,
-fieldset,form,label,legend,table,caption,tbody,tfoot,thead,tr,th,td,
-article,aside,canvas,details,embed,figure,figcaption,footer,header,hgroup,
-menu,nav,output,ruby,section,summary,time,mark,audio,video
-{ margin: 0; padding: 0; border: 0; outline: 0; font-size: 100%;
-  font: inherit; line-height: inherit; vertical-align: baseline;
-  text-align: inherit; color: inherit; background: transparent; }
-
-table { border-collapse: collapse; border-spacing: 0; }
-
-html { box-sizing: border-box }
-*, *:before, *:after {  box-sizing: inherit; }
-
-/* Basic page layout */
-
-body
-{ font-family: Helvetica, "DejaVu Sans", Arial, sans-serif;
-  font-weight: normal;
-  font-size: 0.875rem;
-  line-height: 1.25rem;
-  text-align: left;
-  min-width: 40ex;
-  max-width: 78ex;
-  padding: 1.25rem;
-  margin-left: 3.75rem;
-  color: #222; background: #FAFAFA;  }
-
-b { font-weight: bold }
-em { font-style: italic }
-
-.superscript { vertical-align: super; }
-.subscript { vertical-align: sub; }
-.superscript, .subscript
-{ font-size : 0.75rem; line-height: 0; margin-left: 0.2ex; }
-
-/* ocamldoc markup workaround hacks.
-   See http://caml.inria.fr/mantis/view.php?id=7351 */
-
-hr
-{ display: none } /* Would be nice to have but we cannot get that to
-                     interact well with our h1's because of br markup noise */
-
-br { display: none } /* Annoying, hide them. */
-code br { display: block } /* Except in signatures. */
-
-.codepre br + br { display: none }
-h1 + pre { margin-bottom: 0.625rem } /* Toplevel module description */
-
-/* Links and anchors */
-
-a { text-decoration:none; color:#2C5CBD; }
-a:hover { box-shadow:0 1px 0 0 #2C5CBD; }
-*:target { /* Anchor highlight */ background-color: #FFF8E5;
-           box-shadow: 0 0 0 2px #FFF8E5, 0 0 0 3px #DDDDDD; }
-
-a { text-decoration:none; color:#2C5CBD; }
-a:hover { box-shadow:0 1px 0 0 #2C5CBD; }
-*:target /* Linked highlight */
-{ background-color: #FFF8E5;
-  box-shadow: 0 0 0 2px #FFF8E5, 0 0 0 3px #DDD; }
-
-.anchored:hover a.anchor { visibility: visible; }
-
-a.anchor:before { content: "#" }
-a.anchor:hover {  box-shadow: none; text-decoration: underline }
-a.anchor
-{ visibility: hidden; position: absolute; /* top: 0px; */
-  margin-left: -3ex;
-  font-weight: normal;
-  font-style: normal;
-  padding-right: 1ex; padding-left: 1ex; /* To remain selectable */
-  color: #AAA; }
-
-/* Sections and document divisions
-
-   Many of the modules of the stdlib start at h6, we make it look like
-   h1 and the .7 div (sic) like h2. */
-
-h1, h2, h3, h6, .h7
-{ font-weight: bold; padding-top: 0.625rem; margin-top: 1.25rem }
-
-h1, h6
-{ font-size: 1.25rem;
-  line-height: 2.4375rem; /* 2.5 rem - border width */
-  border-top-style: solid;
-  border-width: 1px;
-  border-color: #DDDDDD; }
-
-h3 { margin-top: 0.625rem; }
-
-br + * { margin-top: 0.625rem; } /* Ideally this would be h1 + * */
-
-h2, .h7 { font-size: 1.125rem; }
-h1 + h2, h6 + .h7 { margin-top: 0.625rem; padding-top: 0rem; }
-
-/* Paragraphs, lists and tables */
-
-p { margin-top: 1.25rem }
-e.info p, li p { margin-top: 0.625rem }
-
-table { margin-top: 0.625rem }
-.info.module.top { margin-left: 0em } /* Toplevel module description */
-.info { margin-left: 1ex; margin-top: 0.15625rem }
-
-td .info { margin:0; padding:0; margin-left: 2em;} /* Description in indexes */
-
-ul, ol { margin-top: 0.625rem; margin-bottom: 0.625rem;
-	       list-style-position: outside }
-ul + p, ol + p { margin-top: 0em }
-ul { list-style-type: square }
-
-ul > li { margin-left: 1.375rem; }
-ol > li { margin-left: 1.7rem; }
-
-/* Preformatted and code */
-
-tt, code, pre
-{ font-family: Menlo, "DejaVu Sans Mono", "Bitstream Vera Sans Mono",
-               monospace;
-  font-weight: normal;
-  font-size: 0.75rem; }
-
-h1 tt, h1 code, h6 tt, h6 code { font-size: 1.125rem }
-h2 tt, h2 code, .h7 tt, .h7 code { font-size: 1rem }
-
-pre {  margin-top: 1.25rem; }
-
-pre.verbatim, pre.codepre
-{ padding-left: 0.25rem;
-  padding-right: 0.25rem;
-  margin-left: -0.25rem;
-  margin-right: -0.25rem;
-  padding-bottom: 0.3125rem;
-  padding-top: 0.3125rem;
-  margin-bottom: 0.265rem; /* Sometimes there's text without <p>
-                              http://caml.inria.fr/mantis/view.php?id=7353 */
-  line-height: 1.1875rem;
-  background: #F1F1F1; }
-
-pre .code { background: inherit; }
-.code {
-  /* If we can avoid it. */
-  /* background: #F1F1F1;
-     padding-top:1px; padding-bottom:1px;
-     padding-left:1px; padding-right:1px;
-     border-radius:2px; */ }
-
-.keyword { font-weight: bold }
-.comment { color: #888; font-style:italic }
-.constructor { color: #208000; }
-.string { color: brown; }
-.warning { color: crimson; }
-
-.typetable { margin-top: 0em }
-
-.paramstable code { margin-left: 1ex; margin-right: 1ex; }
-.sig_block { margin-left: 1em }
-
-/* Images */
-
-img { margin-top: 1.25rem }
-
-/* Index tables */
-
-ul.indexlist { list-style-type: none; margin-left:0; padding:0; }
-ul.indexlist li { margin-left:0; padding: 0; }
-
-/* Odig package index */
-
-.by-name ol, .by-tag ol, .errors ol { list-style-type: none; margin-left:0; }
-.by-name ol ol, .by-tag ol ol { margin-top:0; margin-bottom: 0 }
-.by-name li, .by-tag li, .errors li { margin-left:0; }
-
-.by-name .version { font-size: 0.625rem; color: #AAA }
-.by-name nav { margin-bottom: 0.625rem }
-.by-name nav a
-{ text-transform: uppercase; font-size: 1.125rem;
-  margin-right:1ex; color: #222; display: inline-block; }
-
-.by-tag nav a { margin-right:1ex; color: #222; display: inline-block; }
-.by-tag > ol > li { margin-top: 0.625rem; }
-.by-tag > ol > li > span,
-.by-tag > ol > li > ol,
-.by-tag > ol > li > ol > li { display: inline-block; margin-right: 1ex; }
-
-/* Odig package page */
-
-.package nav { display: inline; font-size: 0.875rem; font-weight: normal; }
-.package .version { font-size: 0.875rem; }
-
-/* This doesn't work in 4.03 because of spurious br's */
-h1 + .indextable, h1 + .sel { margin-top: 0.625rem }
-.sel { font-weight: normal; font-style: italic;
-       font-size:0.875rem; margin-top:1.25rem; }
-.sel + .indextable { margin-top:0.625rem;
-                     margin-bottom: 1.25rem; margin-left: 1ex; }
-
-.package.info { margin: 0;}
-.package.info td:first-child { font-style: italic; padding-right: 2ex; }
-.package.info ul { list-style-type: none; display: inline; margin:0; }
-.package.info li { display: inline-block; margin:0; margin-right:1ex; }
-#info-authors li, #info-maintainers li { display:block; }
-
-/* Odig ocamldoc adjustements. */
-
-#info, .by-name h2, .by-tag h2, .errors h2
-{ font-size: 1.25rem;
-  line-height: 2.4375rem; /* 2.5 rem - border width */
-  border-top-style: solid;
-  border-width: 1px;
-  border-color: #DDDDDD; }
-
-#info + *, .by-name h2 + *, .by-tag h2 + *, .errors h2 { margin-top: 0.625rem; }
-
-body h1:first-child { display: none } /* package page. */
-
-/* Mobile adjustements
-  Can't really do anything we need to get a <meta> for viewport generated */
-
-@media only screen and (max-width: 78ex)
-{ body { margin: auto; } }
-
-/* Print adjustements. */
-
-@media print
-{ body { color: black; background: white; }
-  body nav:first-child { visibility: hidden; }}
-
-/*---------------------------------------------------------------------------
-   Copyright (c) 2016 Daniel C. Bünzli
-
-   Permission to use, copy, modify, and/or distribute this software for any
-   purpose with or without fee is hereby granted, provided that the above
-   copyright notice and this permission notice appear in all copies.
-
-   THE SOFTWARE IS PROVIDED "AS IS" AND THE AUTHOR DISCLAIMS ALL WARRANTIES
-   WITH REGARD TO THIS SOFTWARE INCLUDING ALL IMPLIED WARRANTIES OF
-   MERCHANTABILITY AND FITNESS. IN NO EVENT SHALL THE AUTHOR BE LIABLE FOR
-   ANY SPECIAL, DIRECT, INDIRECT, OR CONSEQUENTIAL DAMAGES OR ANY DAMAGES
-   WHATSOEVER RESULTING FROM LOSS OF USE, DATA OR PROFITS, WHETHER IN AN
-   ACTION OF CONTRACT, NEGLIGENCE OR OTHER TORTIOUS ACTION, ARISING OUT OF
-   OR IN CONNECTION WITH THE USE OR PERFORMANCE OF THIS SOFTWARE.
-  ---------------------------------------------------------------------------*/