#!/bin/bash
# @@@ START COPYRIGHT @@@
#
# Licensed to the Apache Software Foundation (ASF) under one
# or more contributor license agreements.  See the NOTICE file
# distributed with this work for additional information
# regarding copyright ownership.  The ASF licenses this file
# to you under the Apache License, Version 2.0 (the
# "License"); you may not use this file except in compliance
# with the License.  You may obtain a copy of the License at
#
#   http://www.apache.org/licenses/LICENSE-2.0
#
# Unless required by applicable law or agreed to in writing,
# software distributed under the License is distributed on an
# "AS IS" BASIS, WITHOUT WARRANTIES OR CONDITIONS OF ANY
# KIND, either express or implied.  See the License for the
# specific language governing permissions and limitations
# under the License.
#
# @@@ END COPYRIGHT @@@

echo "TRAF_HOME=$TRAF_HOME"
cd $TRAF_HOME/sql/scripts
files=`ls`
hdr=0
for f in $files; do
	echo $f|grep '\.' > /dev/null
	if [ $? = 0 ]; then
		# skip files with a '.'
		continue
	fi
	if [ -d $f ]; then
		# skip directories
		continue
	fi
	if [ ! -x $f ]; then
		# skip non-executable
		continue
	fi
	MANDIR="export/share/man/man1"
	if [ ! -r $TRAF_HOME/${MANDIR}/$f.1 ]; then
		if [ $hdr = 0 ]; then
			echo "WARNING:    The following files in sqf/sql/scripts"
			echo "do not have a matching man page in sqf/${MANDIR} :"
			echo
			hdr=1
		fi
		echo "$f"
	fi
done