Laurent Rineau 56f32967cf Fix the use of linklint. -no-anchors is no longer a valid option of ...

linklint.

2011-01-25 15:40:49 +00:00

..

cgal_manual

Fix the use of linklint. -no-anchors is no longer a valid option of

2011-01-25 15:40:49 +00:00