-o time.info time.texi; \
time.texi:153: warning: node `Resource Measurement' is prev for `Setting Format' in menu but not in sectioning
time.texi:242: warning: node `Invoking time' is prev for `Time Resources' in menu but not in sectioning
time.texi:473: warning: node `Time Resources' is next for `Invoking time' in menu but not in sectioning