Commit af502d1026949c53efbccbd289d5e2b2da586a62

Bruno Haible 2018-09-30T19:27:56

timevar: Include documentation in gnulib manual. * doc/timevar.texi: Change node and section name to 'Profiling of program phases'. In the code snippets, tweak the #includes and use GNU coding style. * doc/gnulib.texi: Include timevar.texi.