d80e3b Rework the doc server

Authored and Committed by Pierre-Yves Chibon 10 years ago
    Rework the doc server
    
    - Render HTML if the git repo contains HTML
    - Convert the REST or Markdown to HTML and render it
    - Render css and js with the correct mimetype
    
        
file modified
+17 -29