Update PreTeX doc