malcolm: Fri May 18 17:18:50 CEST 2001 Update of /usr/src/master/nhc/docs In directory hinken:/tmp/cvs-serv10606 Modified Files: index.html runtime-options.html Log Message: Make a correct pointer to the time-profiling docs. Remove runtime tracer options - they don't exist any longer. Update runtime time profiling options.