|
|
|
@ -430,12 +430,12 @@ if test "$1" = "default"; then
|
|
|
|
|
if test -z "$kde_htmldir"; then
|
|
|
|
|
if test -f /etc/debian_version; then
|
|
|
|
|
if dpkg -s kdelibs4 | grep Status | grep not-installed 2>&1 >/dev/null; then
|
|
|
|
|
kde_htmldir='\${prefix}/share/doc/HTML';
|
|
|
|
|
kde_htmldir='\${prefix}/share/doc/tde/HTML';
|
|
|
|
|
else
|
|
|
|
|
kde_htmldir='\${prefix}/share/doc/kde/HTML'
|
|
|
|
|
kde_htmldir='\${prefix}/share/doc/tde/HTML'
|
|
|
|
|
fi
|
|
|
|
|
else
|
|
|
|
|
kde_htmldir='\${prefix}/share/doc/HTML'
|
|
|
|
|
kde_htmldir='\${prefix}/share/doc/tde/HTML'
|
|
|
|
|
fi
|
|
|
|
|
fi
|
|
|
|
|
|
|
|
|
|