Add doc (.tex and .pdf)