That reverses one old commit one mines:
| ------------------------------------------------------------------------
| r53696 | lrineau | 2010-01-20 16:38:49 +0100 (Wed, 20 Jan 2010) | 4 lines
|
| Attempt to have Manual_tools/doc_tex in the internal releases (just to see
| what it does).
| (trunk only)
|
| ------------------------------------------------------------------------
In between, I had not manage to get cc_manual.tex be compiled without error
by our script cgal_manual.