1 files changed, 13 insertions, 0 deletions
diff --git a/share/man/tools/list b/share/man/tools/list
new file mode 100755
index 0000000..937e874
--- /dev/null
+++ b/share/man/tools/list
@@ -0,0 +1,13 @@
+set x $*
+. ./.param
+
+date > $TMPDIR/list
+echo >> $TMPDIR/list
+
+for dir in $DIRLST
+do
+	cd $MANDIR/man$dir
+	echo "cat <<'EOF' >----------" >> $TMPDIR/list
+	echo "Section $dir" >> $TMPDIR/list
+	ls -ldas .* $FILLST >> $TMPDIR/list
+done