From 7d06e602bea9e7a2c98e1c6badab3a667714b5c8 Mon Sep 17 00:00:00 2001
From: Enrico Tassi
Date: Thu, 12 Feb 2015 22:33:22 +0100
Subject: Fix typos about .vio files (thanks Arthur for spotting them)

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

(limited to 'doc')

diff --git a/doc/refman/RefMan-ext.tex b/doc/refman/RefMan-ext.tex
index 71eb0108d3..11b4f26145 100644
--- a/doc/refman/RefMan-ext.tex
+++ b/doc/refman/RefMan-ext.tex
@@ -1059,7 +1059,7 @@ Please note that the questions described here have been subject to
 redesign in Coq v8.5. Former versions of Coq use the same terminology
 to describe slightly different things.
 
-Compiled files (\texttt{.vo} and \texttt{.vi}) store sub-libraries. In
+Compiled files (\texttt{.vo} and \texttt{.vio}) store sub-libraries. In
 order to refer to them inside {\Coq}, a translation from file-system
 names to {\Coq} names is needed. In this translation, names in the
 file system are called {\em physical} paths while {\Coq} names are
-- 
cgit v1.2.3