--- semantic/doc/wisent.texi.orig	2013-04-21 16:52:26.000000000 +0200
+++ semantic/doc/wisent.texi	2013-04-21 16:50:29.000000000 +0200
@@ -1,7 +1,7 @@
 \input texinfo  @c -*-texinfo-*-
 @c %**start of header
-@setfilename wisent.info
-@set TITLE  Wisent Parser Development
+@setfilename wisent-cedet.info
+@set TITLE  Wisent Parser Development (cedet version)
 @set AUTHOR Eric M. Ludlam, David Ponce, and Richard Y. Kim
 @settitle @value{TITLE}