The editors/gummi port
gummi-0.8.3 – simple LaTeX editor (cvsweb github mirror)
Description
Gummi is a LaTeX editor written in the C programming language using the GTK+ toolkit. It was designed with simplicity in mind, but hopes to attract both novice and advanced LaTeX writers.WWW: https://github.com/alexandervdm/gummi
Maintainer
Matthias Kilian
Categories
Library dependencies
Build dependencies
Run dependencies
Files
- /usr/local/bin/gummi
- /usr/local/lib/gummi/
- /usr/local/lib/gummi/latex_dvi.sh
- /usr/local/man/man1/gummi.1
- /usr/local/share/applications/gummi.desktop
- /usr/local/share/gummi/
- /usr/local/share/gummi/icons/
- /usr/local/share/gummi/icons/gummi.png
- /usr/local/share/gummi/icons/icon.png
- /usr/local/share/gummi/misc/
- /usr/local/share/gummi/misc/default.tex
- /usr/local/share/gummi/snippets/
- /usr/local/share/gummi/snippets/snippets.cfg
- /usr/local/share/gummi/snippets/snippets.lang
- /usr/local/share/gummi/ui/
- /usr/local/share/gummi/ui/gummi.glade
- /usr/local/share/gummi/ui/prefs.glade
- /usr/local/share/gummi/ui/snippets.glade
- /usr/local/share/pixmaps/
- /usr/local/share/pixmaps/gummi.png
- @tag update-desktop-database