diff options
| -rw-r--r-- | g.tmac | 51 |
1 files changed, 46 insertions, 5 deletions
@@ -22,7 +22,7 @@ .ds proof_string Proof \######################################################################### .de place_footer_trap -.wh -3v paste_footer +.wh -3v footer_trap_macro .. \######################################################################### .de place_header_trap @@ -51,7 +51,7 @@ \######################################################################### .nr header_text_from_top_spacing 1 .nr header_line_from_text_spacing 0.3 -.nr header_real_text_from_line_spacing 2 +.nr header_real_text_from_line_spacing 0.3 .nr header_horizontal_line 1 .nr header_horizontal_line_thickness 0.5p \######################################################################### @@ -150,6 +150,7 @@ [\\n[footnote_current_number]] .boxa footnote_text +.br .ps -\\n[footnote_point_size_reduction] . [\\n[footnote_current_number]] @@ -157,17 +158,55 @@ .. \######################################################################### .de paste_footnote -\#just in case we are in a diversion when this hits the trap -.box +\# divert possible unfinished line +.di footnote_text_unfinished_text_hold + +.br +.di +.if d footnote_text \{\ \# separator .ev footnote_environment \l'1i' -.br +.ds footnote_start_flag "yes" .footnote_text +.br .rm footnote_text +.rm footnote_start_flag +.ie d footer_start_flag \{\ .br +.di +.di footnote_text + +.footnote_text_hold + +.rm footnote_text_hold +.rm footer_start_flag +.ev +.di +\} +.el \{\ +.rm footnote_text .ev .bp +\} +\} +.. +\######################################################################### +.de footer_trap_macro +.ie d footnote_start_flag \{\ +.ds footer_start_flag "yes" +.di footnote_text_hold +.br +.di +.ev +.paste_footer +.ev footnote_environment +.di footnote_text_hold +.br +\} +.el \{\ +.paste_footer +\} .. \######################################################################### .de paste_footer @@ -175,6 +214,8 @@ - \\n[.pn] - .ce 0 .bp +.footnote_text_unfinished_text_hold +.rm footnote_text_unfinished_text_hold .. \######################################################################### .de header |