diff options
author | Peter Breitenlohner <peb@mppmu.mpg.de> | 2011-12-05 12:02:38 +0000 |
---|---|---|
committer | Peter Breitenlohner <peb@mppmu.mpg.de> | 2011-12-05 12:02:38 +0000 |
commit | e3d429df329fc5641edc1e127e76f8c195f8bbf0 (patch) | |
tree | 4c7d9df14e410de4589c77af60ac2ce6f9159847 /Master/texmf-dist/doc/fonts/amiri/sources | |
parent | 87e11d0eb09aed22cad72f98c87bc9f84174ff77 (diff) |
uninstall `man link' only if really a link
git-svn-id: svn://tug.org/texlive/trunk@24765 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Master/texmf-dist/doc/fonts/amiri/sources')
0 files changed, 0 insertions, 0 deletions