aboutsummaryrefslogtreecommitdiffstats
path: root/etc/profile-a-l/gummi.profile
diff options
context:
space:
mode:
Diffstat (limited to 'etc/profile-a-l/gummi.profile')
-rw-r--r--etc/profile-a-l/gummi.profile3
1 files changed, 1 insertions, 2 deletions
diff --git a/etc/profile-a-l/gummi.profile b/etc/profile-a-l/gummi.profile
index 922b2cbde..40c268c46 100644
--- a/etc/profile-a-l/gummi.profile
+++ b/etc/profile-a-l/gummi.profile
@@ -12,8 +12,7 @@ include allow-lua.inc
12include allow-perl.inc 12include allow-perl.inc
13include allow-python3.inc 13include allow-python3.inc
14 14
15private-bin dvipdf,dvips,env,gummi,latex,latexmk,lua*,lualatex,luatex,pdflatex,pdftex,perl,ps2pdf,python3*,rubber,synctex,tex,xelatex,xetex 15private-bin dvipdf,dvips,env,gummi,latex,latexmk,lua*,pdflatex,pdftex,perl,ps2pdf,python3*,rubber,synctex,tex,xelatex,xetex
16 16
17# Redirect 17# Redirect
18include latex-common.profile 18include latex-common.profile
19