diff --git a/doc/manual.xml b/doc/manual.xml index 145e3e12dd92..5eb62e811c69 100644 --- a/doc/manual.xml +++ b/doc/manual.xml @@ -8,21 +8,6 @@ Draft (Version ) - - - Eelco - Dolstra - - - LogicBlox - - - - - 2008-2012 - Eelco Dolstra - - @@ -33,6 +18,5 @@ - - +