Permalink
Switch branches/tags
Commits on May 27, 2014
  1. Merge pull request #105 from reynir/patch-1

    opam-doc-serve.sh: python3 support
    avsm committed May 27, 2014
  2. Update opam-doc-serve.sh

    SimpleHTTPServer has been merged into http.server in python3. On some systems, e.g. Arch Linux, `python` refers to `python3`.
    reynir committed May 27, 2014
Commits on May 9, 2014
  1. Merge pull request #103 from ches/serve-fallbacks

    Provide help if no supported server is available
    avsm committed May 9, 2014
  2. Provide help if no supported server is available

    - Support latest cohttp which no longer seems to provide cohttp-server
      executable, only -async and -lwt versions.
    
    - Redirect stderr to null to hide Python's ugly backtrace on Ctrl-C.
    ches committed May 9, 2014
Commits on Feb 3, 2014
  1. Merge pull request #100 from diml/master

    fix sed in Makefile when path contains '+'
    samoht committed Feb 3, 2014
Commits on Jan 2, 2014
  1. Merge pull request #92 from avsm/master

    release 0.9.3
    avsm committed Jan 2, 2014
  2. release 0.9.3

    avsm committed Jan 2, 2014
Commits on Dec 30, 2013
  1. Merge pull request #91 from avsm/master

    Doc script fixes
    avsm committed Dec 30, 2013
  2. Fix opam-doc-serve typo

    avsm committed Dec 30, 2013
  3. `opam doc -n <pkgs>` runs without a server now (instead of `--no-serv…

    …er`)
    
    This switches to using getopts, which requires bash but works properly
    (previously `opam doc pkg --no-server` wouldn't work).
    avsm committed Dec 30, 2013
Commits on Dec 28, 2013
  1. Merge pull request #84 from avsm/zurb-port

    Experimental port to Zurb Foundation
    avsm committed Dec 28, 2013
Commits on Dec 27, 2013
Commits on Dec 24, 2013
Commits on Dec 23, 2013
  1. fix the background color of typetable to not be white (since it may b…

    …e blue if in a module include)
    avsm committed Dec 23, 2013
  2. bump working version to 0.9.3

    avsm committed Dec 23, 2013
  3. add a footer to every page

    avsm committed Dec 23, 2013
  4. Do not initialise hljs

    avsm committed Dec 23, 2013
  5. improve code layout by tagging all values with `odoccode` and renderi…

    …ng them separately.
    
    This should let us mark the odoccode with their source code locations too.
    avsm committed Dec 23, 2013
  6. move css file in right place

    avsm committed Dec 23, 2013
  7. More of a shift to Zurb: add breadcrumbs instead of the `Up` link, an…

    …d fix up CSS for top navbar.
    
    Add placeholder searchbar.
    avsm committed Dec 23, 2013