From b29553f008e315297b56570fa5ef303b1fda39d1 Mon Sep 17 00:00:00 2001 From: Context Git Mirror Bot Date: Sat, 14 May 2016 03:10:20 +0200 Subject: 2016-05-14 02:25:00 --- metapost/context/base/mpiv/mp-page.mpiv | 1 + 1 file changed, 1 insertion(+) (limited to 'metapost') diff --git a/metapost/context/base/mpiv/mp-page.mpiv b/metapost/context/base/mpiv/mp-page.mpiv index 4ccf4448e..07d264f60 100644 --- a/metapost/context/base/mpiv/mp-page.mpiv +++ b/metapost/context/base/mpiv/mp-page.mpiv @@ -665,6 +665,7 @@ enddef ; % for the moment we put these here: +string RuleOption ; RuleOption := "" ; numeric RuleWidth ; RuleWidth := 0 ; numeric RuleHeight ; RuleHeight := 0 ; numeric RuleDepth ; RuleDepth := 0 ; -- cgit v1.2.3