--- doc/user-manual.texi_orig	2010-01-27 16:23:57.630783062 -0800
+++ doc/user-manual.texi	2010-01-27 16:50:48.507782342 -0800
@@ -4470,10 +4470,10 @@
 @c note that texi2html (and makeinfo) requires that this c-interface texi file be in the 
 @c same directory as this file (user-manual.texi) NOT the directory that 
 @c texi2html is run in.
-@include c-interface.h.texi
+@include c-interface_8h.texi
 @node    More Scripting Functions
 @chapter More Scripting Functions
-@include cc-interface.hh.texi
+@c @include cc-interface.hh.texi
 
 
 
@@ -4491,7 +4491,7 @@
 @c nodes (mutate, povray) and (e.g.) `tips-gui', but has no menu entry for this node
 @c
 
-@include ../../coot/scheme/coot-scheme-functions.texi
+@c @include ../../coot/scheme/coot-scheme-functions.texi