--- a/doc-src/Logics/Makefile Mon May 02 22:19:28 2011 +0200 +++ b/doc-src/Logics/Makefile Mon May 02 22:31:46 2011 +0200 @@ -1,6 +1,3 @@ -# -# $Id$ -# ## targets