1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
|
#!/bin/sh
# Copyright © 2024, 2025 Rafael Laboissière <rafael@debian.org>
#
# This program is free software; you can redistribute it and/or modify
# it under the terms of the GNU General Public License as published by
# the Free Software Foundation; either version 3 of the License, or
# (at your option) any later version.
#
# This program is distributed in the hope that it will be useful,
# but WITHOUT ANY WARRANTY; without even the implied warranty of
# MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
# GNU General Public License for more details.
#
# You should have received a copy of the GNU General Public License along
# with this program; if not, write to the Free Software Foundation,
# Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301, USA.
dir=$(find $1 -name doc)
if [ -n "$dir" -a -d $dir ] ; then
for i in $(find $dir) ; do
ext=${i##*.}
if [ "$ext" != qhc -a "$ext" != qch ] ; then
keep=no
for j in $DH_OCTAVE_KEEP_DOC ; do
if [ "$j" = "${i#$dir/}" ] ; then
keep=yes
break
fi
done
[ $keep = "no" ] && rm -f $i
fi
done
# Remove empty sub-directories
find $dir -type d -empty -delete
fi
|
