diff options
| author | Ludovic Courtès <ludo@gnu.org> | 2013-01-15 23:54:10 +0100 |
|---|---|---|
| committer | Ludovic Courtès <ludo@gnu.org> | 2013-01-16 23:09:52 +0100 |
| commit | b28168c125873738fa2afc376e58b5591d87dee1 (patch) | |
| tree | 8c28f0cbe2f0e07e0f5c43c3223433a1a98414e1 | |
| parent | 4c9e79757700e7834af0d01eb5bcd7739e6ca310 (diff) | |
doc: Remove @documentlanguage.
* doc/guix.texi: Remove @documentlanguage, which confuses TeX.
| -rw-r--r-- | doc/guix.texi | 1 |
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 |