From 5682084d1e8fa6e624c022554c976245f8519852 Mon Sep 17 00:00:00 2001
From: Guillaume Melquiond
Date: Fri, 13 Jun 2014 16:45:23 +0200
Subject: Remove documentation for the unsupported options -byte and -opt.

---
 man/coqtop.1 | 8 --------
 1 file changed, 8 deletions(-)

(limited to 'man/coqtop.1')

diff --git a/man/coqtop.1 b/man/coqtop.1
index fff813bb06..8006d4993f 100644
--- a/man/coqtop.1
+++ b/man/coqtop.1
@@ -109,14 +109,6 @@ verbosely compile Coq file
 .B \-batch
 )
 
-.TP
-.B \-opt
-run the native\-code version of Coq
-
-.TP
-.B \-byte
-run the bytecode version of Coq
-
 .TP
 .B \-where
 print Coq's standard library location and exit
-- 
cgit v1.2.3