#!/bin/sh

#for DIR in *
#do
#	if [ -d $DIR -a -f $DIR/refresh.sh ] && 
#	   [ ! -L $DIR ] && [ ! -x $DIR/refresh.sh ]
#	then
#		echo Sourcing $DIR/refresh.sh
#		. $DIR/refresh.sh
#	fi
#done

echo Processing main directory

tools/decorate.pl src/* tmp
tools/menuize.pl tmp/about-me.html \
	tmp/software.html \
	tmp/radius-pppd.html \
	tmp/i386-debug.html \
	tmp/html-menus.html \
	tmp/link-openradius.html \
	tmp/configuration-data.html \
	tmp/nonrecursive-make.html \
	tmp/unix-signals.html \
	tmp/debian-gui-terminal.html \
	tmp/groklaw-gui-terminal.html \
	tmp/link-e-advies.html .