diff options
author | Leah Neukirchen <leah@vuxu.org> | 2018-03-15 12:06:28 +0100 |
---|---|---|
committer | Leah Neukirchen <leah@vuxu.org> | 2018-03-15 12:06:28 +0100 |
commit | de1d4bb2bdf28ded6c8505d4914117ec74f11c63 (patch) | |
tree | f1a78bb983b8421789c4c1ac476b7c888d78ec32 /xmandoc | |
parent | 5b97577364308c57d00a6efb5086e303ed174745 (diff) | |
download | xtools-de1d4bb2bdf28ded6c8505d4914117ec74f11c63.tar.gz xtools-de1d4bb2bdf28ded6c8505d4914117ec74f11c63.tar.xz xtools-de1d4bb2bdf28ded6c8505d4914117ec74f11c63.zip |
xmandoc: follow symlinks.
This is a hack, but the best we can do with the given information. Closes #79.
Diffstat (limited to 'xmandoc')
-rwxr-xr-x | xmandoc | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/xmandoc b/xmandoc index 1261108..eddd672 100755 --- a/xmandoc +++ b/xmandoc @@ -4,5 +4,6 @@ xlocate "man/man..\?/$1\.[0-9]" 2>/dev/null | { grep . || { echo "xmandoc: No entry for $1 found." 1>&2; exit 1; } } | while read -r pkg page; do + page=${page#* -> } xbps-query --cat=$page ${pkg%-*} | mandoc -a done |