1GUMMI(1) User Manuals GUMMI(1)
23
4
NAME
6gummi - LaTeX editor
7
DESCRIPTION
9gummi is a simple LaTeX editor for GTK+.
10
OPTIONS
12-d run gummi with debug logging enabled.
1314
-h display command line options.
15
BUGS
17Undoubtedly, please report at: https://github.com/alexandervdm/gummi
18
AUTHORS
20Alexander van der Meij <gummi{pleasenospam}vandermeij.tech>
2122
Wei-Ning Huang <aitjcize{pleasenospam}gmail.com>
2324
25
26
Linux APRIL 2011 GUMMI(1)