X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=doc%2Fdev%2Fi18n.texi;h=09b5b419cf74d6636183c505557772f123d60f3d;hb=8e27b1a0dba7f33b7acb0d8894efe2045b0bb98f;hp=3ab86c3d2ec349fb85267ac934bb7c721d9eb304;hpb=b5c82cc9aabe7e641011130240ae1b2e84348e23;p=pspp

diff --git a/doc/dev/i18n.texi b/doc/dev/i18n.texi
index 3ab86c3d2e..09b5b419cf 100644
--- a/doc/dev/i18n.texi
+++ b/doc/dev/i18n.texi
@@ -47,7 +47,7 @@ report generated by pspp.  Non-data related strings (Eg: ``Page number'',
 @subsection The data locale
 This locale is the one associated with the data being analysed with pspp.
 The only important aspect of this locale is the character encoding.
-@footnote {It might also be desirable for the LC_COLLATE category to be used for the purposes of sorting data.}
+@footnote{It might also be desirable for the LC_COLLATE category to be used for the purposes of sorting data.}
 The dictionary pertaining to the data contains a field denoting the encoding.
 Any string data stored in a @union{value} will be encoded in the
 dictionary's character set.