aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--doc/documentation/chapters/user.texi5
1 files changed, 2 insertions, 3 deletions
diff --git a/doc/documentation/chapters/user.texi b/doc/documentation/chapters/user.texi
index f18b6b432..5aa3a62bf 100644
--- a/doc/documentation/chapters/user.texi
+++ b/doc/documentation/chapters/user.texi
@@ -259,9 +259,8 @@ Note that this requires having @command{LaTeX} installed on your system.
259If you are using a Debian GNU/Linux based operating system, the 259If you are using a Debian GNU/Linux based operating system, the
260following command should install the required components. 260following command should install the required components.
261Keep in mind that this @b{requires 3GB} of downloaded data and possibly 261Keep in mind that this @b{requires 3GB} of downloaded data and possibly
262@b{even more}@footnote{Author's note: 262@b{even more} when unpacked. On a GNU Guix based system texlive 2017 has
263@command{guix size `guix build texlive`} in summer 2018 returns a DAG 263returns a DAG size of 5032.4 MiB.
264size of 5032.4 MiB} when unpacked.
265@b{We welcome any help in identifying the required components of the 264@b{We welcome any help in identifying the required components of the
266TexLive Distribution. This way we could just state the required components 265TexLive Distribution. This way we could just state the required components
267without pulling in the full distribution of TexLive.} 266without pulling in the full distribution of TexLive.}