[ rm ] doc/tex/main