diff options
author | Manuel Pégourié-Gonnard <mpg@elzevir.fr> | 2009-12-31 00:32:34 +0000 |
---|---|---|
committer | Manuel Pégourié-Gonnard <mpg@elzevir.fr> | 2009-12-31 00:32:34 +0000 |
commit | d021a9c6a72904f07774aba1ddd42400db673528 (patch) | |
tree | 23e4aa860755a289edc316b2fb7ace8b54f02540 /Master/texmf | |
parent | 8c6a63836d457bd44320223680329eda273c2422 (diff) |
minor texdoc fix
git-svn-id: svn://tug.org/texlive/trunk@16534 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Master/texmf')
-rw-r--r-- | Master/texmf/scripts/texdoc/config.tlu | 1 |
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() |