Makefiles in much better shape even though not all files have automatically

generated menus yet.

doc/supplements/sparc/timeERC32.t

@@ -12,7 +12,7 @@
 @end tex
 
 @ifinfo
-@node ERC32 Timing Data, ERC32 Timing Data Introduction, Memory Requirements RTEMS RAM Workspace Worksheet, Top
+@node ERC32 Timing Data, ERC32 Timing Data Introduction, Timing Specification Terminology, Top
 @end ifinfo
 @chapter ERC32 Timing Data
 @ifinfo