diff options
| -rw-r--r-- | gnu/packages/gnome.scm | 4 |
1 files changed, 1 insertions, 3 deletions
diff --git a/gnu/packages/gnome.scm b/gnu/packages/gnome.scm index f3133c98ae..39102dc798 100644 --- a/gnu/packages/gnome.scm +++ b/gnu/packages/gnome.scm @@ -2606,9 +2606,7 @@ forgotten when the session ends.") ("ghostscript" ,ghostscript) ("poppler" ,poppler) ("libtiff" ,libtiff) - ;; TODO: - ;; Build libkpathsea as a shared library for DVI support. - ;; ("libkpathsea" ,texlive-bin) + ("texlive-libkpathsea" ,texlive-libkpathsea) ; for DVI support ("gnome-desktop" ,gnome-desktop) ("gsettings-desktop-schemas" ,gsettings-desktop-schemas) ("gspell" ,gspell) |