--- semantic/doc/Makefile.orig	2010-05-17 18:57:36.000000000 +0200
+++ semantic/doc/Makefile	2010-05-17 18:59:11.000000000 +0200
@@ -11,7 +11,7 @@
 
 images_MISC=grammar-fw-ov.png grammar-fw-ov.txt
 semantic-grammar_TEXINFOS=grammar-fw.texi
-MAKEINFO=makeinfo
+MAKEINFO=makeinfo --force --no-split
 Documentation_TEXINFOS=semantic.texi glossary.texi overview.texi installation.texi fdl.texi internals.texi semanticheader.texi
 semantic-user_info_TEXINFOS=user-guide.texi minor-modes.texi
 semantic-appdev_info_TEXINFOS=app-dev-guide.texi tags.texi
@@ -23,7 +23,7 @@
 
 
 
-all: images grammar-fw.info semantic.info semantic-user.info semantic-appdev.info semantic-langdev.info bovine.info wisent.info
+all: images grammar-fw.info semantic-cedet.info semantic-user.info semantic-appdev.info semantic-langdev.info bovine.info wisent.info
 
 images: 
 	@
@@ -31,7 +31,7 @@
 grammar-fw.info: $(semantic-grammar_TEXINFOS)
 	$(MAKEINFO) $<
 
-semantic.info: $(Documentation_TEXINFOS)
+semantic-cedet.info: $(Documentation_TEXINFOS)
 	$(MAKEINFO) $<
 
 semantic-user.info: $(semantic-user_info_TEXINFOS)
@@ -57,9 +57,9 @@
 
 .PHONY: dist
 
-dist: grammar-fw.info semantic.info semantic-user.info semantic-appdev.info semantic-langdev.info bovine.info wisent.info
+dist: grammar-fw.info semantic-cedet.info semantic-user.info semantic-appdev.info semantic-langdev.info bovine.info wisent.info
 	mkdir $(DISTDIR)
-	cp $(images_MISC) $(semantic-grammar_TEXINFOS) grammar-fw.info* $(Documentation_TEXINFOS) semantic.info* $(semantic-user_info_TEXINFOS) semantic-user.info* $(semantic-appdev_info_TEXINFOS) semantic-appdev.info* $(semantic-langdev_info_TEXINFOS) semantic-langdev.info* $(bovine_info_TEXINFOS) bovine.info* $(wisent_info_TEXINFOS) wisent.info* $(ede_FILES) $(DISTDIR)
+	cp $(images_MISC) $(semantic-grammar_TEXINFOS) grammar-fw.info* $(Documentation_TEXINFOS) semantic-cedet.info* $(semantic-user_info_TEXINFOS) semantic-user.info* $(semantic-appdev_info_TEXINFOS) semantic-appdev.info* $(semantic-langdev_info_TEXINFOS) semantic-langdev.info* $(bovine_info_TEXINFOS) bovine.info* $(wisent_info_TEXINFOS) wisent.info* $(ede_FILES) $(DISTDIR)
 
 Makefile: Project.ede
 	@echo Makefile is out of date!  It needs to be regenerated by EDE.