From ec462f70ae8062696d4aec8b89c1bb5da3f6a19a Mon Sep 17 00:00:00 2001
From: Hugo Herbelin
Date: Wed, 1 Apr 2015 21:32:38 +0200
Subject: Fixing a few typos + some uniformization of writing in doc.

---
 doc/refman/RefMan-oth.tex | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/doc/refman/RefMan-oth.tex b/doc/refman/RefMan-oth.tex
index 7d7a4c9a0c..0a28a93a41 100644
--- a/doc/refman/RefMan-oth.tex
+++ b/doc/refman/RefMan-oth.tex
@@ -680,7 +680,7 @@ should use the command \texttt{Locate File} (see Section~\ref{Locate File})
 
 Loadpaths are preferably managed using {\Coq} command line options
 (see Section~\ref{loadpath}) but there remain vernacular commands to
-manage them for practical puposes. Such commands are only meant to be issued in
+manage them for practical purposes. Such commands are only meant to be issued in
 the toplevel, and using them in source files is discouraged.
 
 \subsection[\tt Pwd.]{\tt Pwd.\comindex{Pwd}\label{Pwd}}
-- 
cgit v1.2.3