This file is indexed.

/usr/bin/update-pdf-help is in gosa-dev 2.7.2-1.

This file is owned by root:root, with mode 0o755.

The actual contents of the file can be viewed below.

 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
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
#!/bin/bash

# Defaults for Debian
LYX=lyx

# Sanity checks
if [ ! -d doc/core ]; then
	echo "Can't find usable core documentation structure - aborting"
	exit 1
fi

# Commands present?
for cmd in $CNV $LYX; do
	if [[ ! `which $cmd` ]]; then
		echo "Can't find executable for '$cmd' - aborting"
		exit 2
	fi
done

# Core help
echo -en "Processing core\n"
pushd . &> /dev/null
cd doc/core
for lang in *; do
	[ ! -d "$lang" ] && continue

	pushd . &> /dev/null
	echo -en "\tProcessing language $lang...\n"
	cd $lang/lyx-source

	for source in $(find . -name \*.lyx -exec basename {} \;); do
		echo -en "\t\tProcessing $source..."
		echo -en " pdf"
		$LYX -e pdf $source &> /dev/null
		d=../pdf/${source%%\.*}/
	 	pdf=${source%lyx}pdf
		[ -d $d ] || mkdir -p $d && mv $pdf ../pdf/${source%%\.*}/ &>/dev/null
		d=../html/${source%%\.*}/
		echo -en " done.\n"
	done
	popd &> /dev/null
done

popd &> /dev/null

# Plugin help
pushd . &> /dev/null
if [ -d doc/plugins ]; then
	cd doc/plugins

	for plugin in *; do
		pushd . &> /dev/null
		echo -en "Processing $plugin\n"
		cd $plugin
		for lang in *; do
			[ ! -d "$lang" ] && continue

			pushd . &> /dev/null
			echo -en "\tProcessing language $lang...\n"
			cd $lang/lyx-source

			for source in $(find . -name \*.lyx -exec basename {} \;); do
				echo -en "\t\tProcessing $source..."
				echo -en " pdf"
				$LYX -e pdf $source &> /dev/null
				d=../pdf/${source%%\.*}/
				pdf=${source%lyx}pdf
				[ -d $d ] || mkdir -p $d && mv $pdf ../pdf/${source%%\.*}/ &>/dev/null
				d=../html/${source%%\.*}/
				echo -en " done.\n"
				continue
			done
			popd &> /dev/null
		done
		popd &> /dev/null
	done

fi
popd &> /dev/null
echo
exit 0