2 # [Based on the website script by Olivier Pérès]
3 # [Modified by Tushar Teredesai]
6 # Script to verify that the hint meets the basic formatting standards.
7 # Additional checks are performed by the maintainer before committing.
8 # The section checks if all the required sections are present in the
11 # It outputs the sections that are used for the online hint index.
12 # Verify the output for correctness.
14 if [ "$DEBUG" = "yes" ]
21 echo "ERROR: Hint File not specified."
22 echo "Usage: `basename $0` hint_file.txt"
26 if [ ! -f "$HINT_FILE" ]
28 echo "ERROR: Hint File not found"
32 AUTHORS
=`echo \`grep "^AUTHOR:" $HINT_FILE | cut
-f2 -d: |
sed 's/$/,/'\
` | sed 's/,$//'`
33 DATE
=`echo \`grep -h "^DATE:" $HINT_FILE | cut
-f2 -d:\
``
34 LICENSE
=`echo \`grep -h "^LICENSE:" $HINT_FILE | cut
-f2 -d:\
``
35 SYNOPSIS
=`echo \`grep -h "^SYNOPSIS:" $HINT_FILE | cut
-f2 -d:\
``
36 DESCRIPTION
=`grep -h "^DESCRIPTION:" $HINT_FILE`
37 PREREQUISITES
=`grep -h "^PREREQUISITES:" $HINT_FILE`
38 HINT
=`grep -h "^HINT:" $HINT_FILE`
39 CHANGELOG
=`grep -h "^CHANGELOG:" $HINT_FILE`
42 echo "No author specified..."
44 echo "Authors: $AUTHORS"
48 echo "DATE is missing..."
54 echo "LICENSE is missing..."
56 echo "License: $LICENSE"
60 echo "SYNOPSIS is missing..."
62 echo "Synopsis: $SYNOPSIS"
64 if [ -z "$DESCRIPTION" ]
66 echo "DESCRIPTION is missing..."
68 if [ -z "$PREREQUISITES" ]
70 echo "PREREQUISITES is missing..."
74 echo "HINT is missing..."
76 if [ -z "$CHANGELOG" ]
78 echo "CHANGELOG is missing..."