OSDN Git Service

* doc/invoke.texi: Fix name of sched1 dump.