[ add ] doc/tex/main.{tex,pdf}