doc/manual/manual.{html,ilg,tid,tin,tms}
