#!/bin/bash
plastex --renderer=XHTML --theme=plain Doc.tex 
