summaryrefslogtreecommitdiff
path: root/Master/texmf/scripts/texdoc
diff options
context:
space:
mode:
authorManuel Pégourié-Gonnard <mpg@elzevir.fr>2009-12-31 00:32:34 +0000
committerManuel Pégourié-Gonnard <mpg@elzevir.fr>2009-12-31 00:32:34 +0000
commitd021a9c6a72904f07774aba1ddd42400db673528 (patch)
tree23e4aa860755a289edc316b2fb7ace8b54f02540 /Master/texmf/scripts/texdoc
parent8c6a63836d457bd44320223680329eda273c2422 (diff)
minor texdoc fix
git-svn-id: svn://tug.org/texlive/trunk@16534 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Master/texmf/scripts/texdoc')
-rw-r--r--Master/texmf/scripts/texdoc/config.tlu1
1 files changed, 1 insertions, 0 deletions
diff --git a/Master/texmf/scripts/texdoc/config.tlu b/Master/texmf/scripts/texdoc/config.tlu
index 6a931673fa2..dac13ef49a4 100644
--- a/Master/texmf/scripts/texdoc/config.tlu
+++ b/Master/texmf/scripts/texdoc/config.tlu
@@ -381,6 +381,7 @@ function desktop_environment_viewer()
if os.getenv('GNOME_DESKTOP_SESSION_ID') then -- gnome
return '(gnome-open %s) &'
end
+ if not is_in_path('xprop') then return end
local xprop_fh = io.popen('xprop -root _DT_SAVE_MODE')
local xprop_out = xprop_fh:read('*line')
xprop_fh:close()