summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorLudovic Courtès <ludo@gnu.org>2013-01-15 23:54:10 +0100
committerLudovic Courtès <ludo@gnu.org>2013-01-16 23:09:52 +0100
commitb28168c125873738fa2afc376e58b5591d87dee1 (patch)
tree8c28f0cbe2f0e07e0f5c43c3223433a1a98414e1
parent4c9e79757700e7834af0d01eb5bcd7739e6ca310 (diff)
doc: Remove @documentlanguage.
* doc/guix.texi: Remove @documentlanguage, which confuses TeX.
-rw-r--r--doc/guix.texi1
1 files changed, 0 insertions, 1 deletions
diff --git a/doc/guix.texi b/doc/guix.texi
index 1252caaf08..ce501188c8 100644
--- a/doc/guix.texi
+++ b/doc/guix.texi
@@ -4,7 +4,6 @@
@c %**start of header
@setfilename guix.info
@documentencoding UTF-8
-@documentlanguage en
@settitle GNU Guix Reference Manual
@c %**end of header