From be640372098d01e8c99b60bdc648ec806b8a4b2c Mon Sep 17 00:00:00 2001
From: Emilio Jesus Gallego Arias
Date: Tue, 2 Oct 2018 17:45:51 +0200
Subject: [doc] Nits on utilities / toplevel building.

---
 doc/sphinx/practical-tools/utilities.rst | 8 ++++----
 1 file changed, 4 insertions(+), 4 deletions(-)

diff --git a/doc/sphinx/practical-tools/utilities.rst b/doc/sphinx/practical-tools/utilities.rst
index 5d300c3d6d..19995520bb 100644
--- a/doc/sphinx/practical-tools/utilities.rst
+++ b/doc/sphinx/practical-tools/utilities.rst
@@ -21,16 +21,16 @@ The most basic custom toplevel is built using:
 
    % ocamlfind ocamlopt -thread -rectypes -linkall -linkpkg \
                  -package coq.toplevel \
-                  toplevel/coqtop\_bin.ml -o my\_toplevel.native
+                 topbin/coqtop_bin.ml -o my_toplevel.native
 
 
-For example, to statically link |L_tac|, you can just do:
+For example, to statically link |Ltac|, you can just do:
 
 ::
 
    % ocamlfind ocamlopt -thread -rectypes -linkall -linkpkg \
-                 -package coq.toplevel -package coq.ltac \
-                 toplevel/coqtop\_bin.ml -o my\_toplevel.native
+                 -package coq.toplevel,coq.plugins.ltac \
+                 topbin/coqtop_bin.ml -o my_toplevel.native
 
 and similarly for other plugins.
 
-- 
cgit v1.2.3