octave: keep info manual