Bmargin

The command set bmargin sets the size of the bottom margin. Please see set margin (p. [*]) for details.

Autobuild 2016-12-15