octave: keep info manual

Closes #556.