From df3a49a18c5b01984000df9244ecea9c275b30cd Mon Sep 17 00:00:00 2001
From: Guillaume Melquiond
Date: Mon, 7 Dec 2015 10:52:14 +0100
Subject: Fix some typos.

---
 dev/v8-syntax/syntax-v8.tex | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'dev')

diff --git a/dev/v8-syntax/syntax-v8.tex b/dev/v8-syntax/syntax-v8.tex
index 6630be06ab..64431ea161 100644
--- a/dev/v8-syntax/syntax-v8.tex
+++ b/dev/v8-syntax/syntax-v8.tex
@@ -81,7 +81,7 @@ Parenthesis are used to group regexps. Beware to distinguish this operator
 $\GR{~}$ from the terminals $\ETERM{( )}$, and $\mid$ from terminal
 \TERMbar.
 
-Rules are optionaly annotated in the right margin with:
+Rules are optionally annotated in the right margin with:
 \begin{itemize}
 \item a precedence and associativity (L for left, R for right and N for no associativity), indicating how to solve conflicts;
   lower levels are tighter;
-- 
cgit v1.2.3


From 19ea51a4b7f7debbe5bdeb2b2689cddadd9876f4 Mon Sep 17 00:00:00 2001
From: Matej Kosik
Date: Mon, 7 Dec 2015 16:25:58 +0100
Subject: Fixing a minor problem in Makefile.build that was prevening
 "dev/printers.cma" to be loadable within "ocamldebug".

---
 dev/db | 2 --
 1 file changed, 2 deletions(-)

(limited to 'dev')

diff --git a/dev/db b/dev/db
index f259b50eb3..36a171af1c 100644
--- a/dev/db
+++ b/dev/db
@@ -1,5 +1,3 @@
-load_printer "gramlib.cma"
-load_printer "str.cma"
 load_printer "printers.cma"
 
 install_printer Top_printers.ppfuture
-- 
cgit v1.2.3