Add a check so that the footnote div and the ol are not printed if there is no footnote.

Comments

hingo’s picture

hingo commented
Status: Active » Fixed

Good point. I have now fixed this in CVS.

Anonymous’s picture

(not verified) commented
Status: Fixed » Closed (fixed)