diff options
-rw-r--r-- | doc/documentation/chapters/user.texi | 5 |
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. | |||
259 | If you are using a Debian GNU/Linux based operating system, the | 259 | If you are using a Debian GNU/Linux based operating system, the |
260 | following command should install the required components. | 260 | following command should install the required components. |
261 | Keep in mind that this @b{requires 3GB} of downloaded data and possibly | 261 | Keep 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 | 263 | returns a DAG size of 5032.4 MiB. |
264 | size 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 |
266 | TexLive Distribution. This way we could just state the required components | 265 | TexLive Distribution. This way we could just state the required components |
267 | without pulling in the full distribution of TexLive.} | 266 | without pulling in the full distribution of TexLive.} |