From: John Darrington <john@darrington.wattle.id.au>
Date: Sat, 17 Aug 2013 10:48:43 +0000 (+0200)
Subject: Added url for ODS to the documentation
X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=18dd6ddf75f8a65e228f642aabda1c1cc897aba9;p=pspp

Added url for ODS to the documentation
---

diff --git a/doc/files.texi b/doc/files.texi
index 753ea64882..7a97823819 100644
--- a/doc/files.texi
+++ b/doc/files.texi
@@ -211,7 +211,7 @@ specified.  It determines the type of the file or source to read.
 Spreadsheet files created by Gnumeric (@url{http://gnumeric.org}).
 
 @item ODS
-Spreadsheet files in OpenDocument format.
+Spreadsheet files in OpenDocument format (@url{http://opendocumentformat.org}).
 
 @item PSQL
 Relations from PostgreSQL databases (@url{http://postgresql.org}).