diff --git a/ChangeLog b/ChangeLog
index 6d40705..a2cf306 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,3 +1,13 @@
+2008-01-15  Bruno Haible  <bruno@clisp.org>
+
+	* doc/cln.texi: Renamed from doc/cln.tex. Add @node lines and @menu
+	lists.
+	* doc/addnodes.el: Remove file.
+	* doc/Makefile.in (${PACKAGE}.texi): Remove rule.
+	(EMACS): Remove variable.
+	(maintainer-clean): Don't remove ${PACKAGE}.texi.
+	Reported by Alexei Sheplyakov <varg@theor.jinr.ru>.
+
 2008-01-11  Richard B. Kreckel  <kreckel@ginac.de>
 
 	* include/cln/float.h (cos_sin_t, cosh_sinh_t): Add default ctor.
diff --git a/doc/Makefile.in b/doc/Makefile.in
index 06f44d8..f1c966d 100644
--- a/doc/Makefile.in
+++ b/doc/Makefile.in
@@ -29,7 +29,6 @@ TEXI2DVI = texi2dvi
 DVIPS = dvips -D600
 MAKEINFO = LANGUAGE= makeinfo
 TEXI2HTML = texi2html
-EMACS = emacs
 
 # Programs used by "make install":
 INSTALL = @INSTALL@
@@ -52,13 +51,6 @@ info : ${srcdir}/${PACKAGE}.info
 ${srcdir}/${PACKAGE}.info : ${srcdir}/${PACKAGE}.texi
 	cd ${srcdir} && ${MAKEINFO} --no-split ${PACKAGE}.texi
 
-${srcdir}/${PACKAGE}.texi : ${srcdir}/${PACKAGE}.tex
-	cp $< $@
-	${EMACS} -batch $@ -load addnodes.el -f save-buffer
-	mv $@ $@~
-	sed -e 's,@detailmenu,,g' -e 's,@end detailmenu,,g' < $@~ > $@
-	${RM} $@~
-
 
 dvi : ${srcdir}/${PACKAGE}.dvi
 
@@ -120,7 +112,6 @@ distclean : clean
 maintainer-clean : distclean
 	${RM} *.info *.dvi *.ps *.html
 	${RM_R} cln/
-	if [ -f ${PACKAGE}.tex ] ; then ${RM} ${PACKAGE}.texi ; fi
 
 force :