# HG changeset patch # User Pascal Bellard # Date 1479111129 -3600 # Node ID cb0d015fce20bb3e6da7af616b12ca86ef360d2e # Parent 60a7e8dec37c945d14e600cdd8b3ad5ab9cb0507 cooker.cgi: add some doc links diff -r 60a7e8dec37c -r cb0d015fce20 web/cooker.cgi --- a/web/cooker.cgi Mon Nov 14 07:01:25 2016 +0200 +++ b/web/cooker.cgi Mon Nov 14 09:12:09 2016 +0100 @@ -304,13 +304,22 @@ fi fi [ -x ./man2html ] && - if [ -d $wok/$bpkg/install/usr/man -o -d $wok/$bpkg/install/usr/share/man ]; then + if [ -d $wok/$bpkg/install/usr/man ] || + [ -d $wok/$bpkg/install/usr/share/man ] || + [ -d $wok/$bpkg/taz/*/fs/usr/man ] || + [ -d $wok/$bpkg/taz/*/fs/usr/share/man ]; then echo "man" fi - if [ -d $wok/$bpkg/install/usr/doc -o -d $wok/$bpkg/install/usr/share/doc ]; then + if [ -d $wok/$bpkg/install/usr/doc ] || + [ -d $wok/$bpkg/install/usr/share/doc ] || + [ -d $wok/$bpkg/taz/*/fs/usr/doc ] || + [ -d $wok/$bpkg/taz/*/fs/usr/share/doc ]; then echo "doc" fi - if [ -d $wok/$bpkg/install/usr/info -o -d $wok/$bpkg/install/usr/share/info ]; then + if [ -d $wok/$bpkg/install/usr/info ] || + [ -d $wok/$bpkg/install/usr/share/info ] || + [ -d $wok/$bpkg/taz/*/fs/usr/info ] || + [ -d $wok/$bpkg/taz/*/fs/usr/share/info ]; then echo "info" fi echo "browse" @@ -490,6 +499,8 @@ pkg=$(GET $type) dir=$WOK/$pkg/install/usr/share/$type [ -d $dir ] || dir=$WOK/$pkg/install/usr/$type + [ -d $dir ] || dir=$(echo $WOK/$pkg/taz/*/fs/usr/share/$type) + [ -d $dir ] || dir=$(echo $WOK/$pkg/taz/*/fs/usr/$type) page=$(GET file) if [ -z "$page" ]; then page=$(find $dir -type f | sed q)