From bd66312570343037206be512285c1f10371d3a65 Mon Sep 17 00:00:00 2001
From: marche <marche@85f007b7-540e-0410-9357-904b9bb8a0f7>
Date: Fri, 12 Dec 2003 14:12:36 +0000
Subject: option -n de coq-tex

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@5090 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 toplevel/vernacentries.ml | 8 ++++++++
 1 file changed, 8 insertions(+)

(limited to 'toplevel')

diff --git a/toplevel/vernacentries.ml b/toplevel/vernacentries.ml
index 3768842b5..6c123b820 100644
--- a/toplevel/vernacentries.ml
+++ b/toplevel/vernacentries.ml
@@ -768,6 +768,14 @@ let _ =
       optread=Pp_control.get_depth_boxes;
       optwrite=Pp_control.set_depth_boxes }
 
+let _ =
+  declare_int_option
+    { optsync=true;
+      optkey=SecondaryTable("Printing","Width");
+      optname="the printing width";
+      optread=Pp_control.get_margin;
+      optwrite=Pp_control.set_margin }
+
 let vernac_set_opacity opaq locqid =
   match Nametab.global locqid with
     | ConstRef sp ->
-- 
cgit v1.2.3