version 1.4, 2015/04/05 09:30:24 |
version 1.5, 2017/02/06 03:48:33 |
Line 19 if [ `id -u` -eq 0 ]; then |
|
Line 19 if [ `id -u` -eq 0 ]; then |
|
fi |
fi |
|
|
if [ $# -eq 0 ]; then |
if [ $# -eq 0 ]; then |
echo "usage: $0 -h manual_source_file ..." |
echo "usage: $0 [-h] manual_source_file ..." |
exit 1 |
exit 1 |
fi |
fi |
|
|
|
|
EQN="eqn -Tascii" |
EQN="eqn -Tascii" |
ROFF="groff -ww -Tascii -P -c" |
ROFF="groff -ww -Tascii -P -c" |
fi |
fi |
MOPT="-Werror $MOPT" |
MOPT="-Werror -Tascii $MOPT" |
|
|
while [ -n "$1" ]; do |
while [ -n "$1" ]; do |
file=$1 |
file=$1 |