* html.cc (calculate_margin): Calculate the left and right margin
commit157091c4e76808f335bd2f2efc5619d8fca61d89
authorWerner LEMBERG <wl@gnu.org>
Sun, 30 Apr 2000 05:09:24 +0000 (30 05:09 +0000)
committerWerner LEMBERG <wl@gnu.org>
Sun, 30 Apr 2000 05:09:24 +0000 (30 05:09 +0000)
tree6df336dc7a35bd96853578605e3eb758a3518c8d
parentc906650f4d5b1aad2416f37c22018d5784b4f7f4
* html.cc (calculate_margin): Calculate the left and right margin
irrespective of the boolean `margin_on'.  Fixes a divide by zero
bug and a column bug as reported by Steve Blinkhorn <steve@prd.co.uk>.
Improved the behaviour of the -m (margin on) option.

* html.cc (make_html_indent): More checking.

* html.cc (right_indentation): Fixed substitution slip-up.

* ordered_list.h (list_element): Added `<T>' twice to satisfy picky
src/devices/grohtml/ChangeLog
src/devices/grohtml/html.cc