path: root/doc/documentation
diff options
authorNils Gillmann <>2018-10-10 07:18:33 +0000
committerNils Gillmann <>2018-10-10 07:18:33 +0000
commitd55141a33196e43139fde20d5fbb5707ecb6b29c (patch)
treee0e57af75ed0b89b4166a692e547a7daf3629fcf /doc/documentation
parentc528cfef43ee38f15be7bfcda9f8c38a4a36718b (diff)
user: likewise
Signed-off-by: Nils Gillmann <>
Diffstat (limited to 'doc/documentation')
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.
If you are using a Debian GNU/Linux based operating system, the
following command should install the required components.
Keep in mind that this @b{requires 3GB} of downloaded data and possibly
-@b{even more}@footnote{Author's note:
-@command{guix size `guix build texlive`} in summer 2018 returns a DAG
-size of 5032.4 MiB} when unpacked.
+@b{even more} when unpacked. On a GNU Guix based system texlive 2017 has
+returns a DAG size of 5032.4 MiB.
@b{We welcome any help in identifying the required components of the
TexLive Distribution. This way we could just state the required components
without pulling in the full distribution of TexLive.}