/usr/bin/nodefs is in noweb 2.11b-7.1ubuntu1.
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 | #!/bin/sh
#
# Copyright 1993 by Norman Ramsey. All rights reserved.
# See file COPYRIGHT for more information.
LIB=/usr/lib/noweb
case $1 in
-auto|-autodefs)
newfilter="$LIB/autodefs.$2" ; shift ; shift
$LIB/markup $* | $newfilter | sed -n 's/^@index defn //p'
;;
-showauto|-showautodefs)
foundautodefs=
for i in $LIB/autodefs.*; do
if [ -r $i ]; then
echo "This `basename $0` supports -autodefs $i" |
sed "s@$LIB/autodefs\.@@" 1>&2
foundautodefs=$i
fi
done
if [ -z "$foundautodefs" ]; then
echo "This `basename $0` does not support -autodefs"
fi
;;
*)
$LIB/markup $* | sed -n 's/^@index defn //p'
;;
esac
exit $?
|