diff bootstrap @ 25217:0edb99ea10a8 stable

doc: Hardcode EDITION number in title page to 4. * octave.texi: Hardcode EDITION number in title page to 4. Add FIXME note describing how this can be auto-generated in the future.
author Rik <rik@octave.org>
date Wed, 11 Apr 2018 12:00:03 -0700
parents 6652d3823428
children c36321a88d17
line wrap: on
line diff