diff options
| author | John MacFarlane <jgm@berkeley.edu> | 2010-07-15 19:01:00 -0700 |
|---|---|---|
| committer | John MacFarlane <jgm@berkeley.edu> | 2010-07-15 22:26:45 -0700 |
| commit | 9be9bccfcfc2c46459b3da963bc59a37f841fe8a (patch) | |
| tree | 1ecfb499923d950426d8ca1cc12e1c28291ae235 /Setup.hs | |
| parent | 57a91f3b6add303ef70aa29a14a8c67123ec7c0f (diff) | |
Added --section-divs option.
+ Header identifiers now get attached to the headers, unless
--section-divs is specified, in which case they are added to
enclosing divs. By default, the divs are not added.
+ Resolves Issue #230, #239.
Diffstat (limited to 'Setup.hs')
0 files changed, 0 insertions, 0 deletions