| 17 |
|
|
| 18 |
# Detrail A Perl script that removes trailing spaces from files. |
# Detrail A Perl script that removes trailing spaces from files. |
| 19 |
|
|
| 20 |
# Index.html A file that is copied as index.html into the doc/html |
# doc/index.html.src |
| 21 |
# directory when the HTML documentation is built. It works like |
# A file that is copied as index.html into the doc/html directory |
| 22 |
# this so that doc/html can be deleted and re-created from scratch. |
# when the HTML documentation is built. It works like this so that |
| 23 |
|
# doc/html can be deleted and re-created from scratch. |
| 24 |
|
|
| 25 |
|
|
| 26 |
# First, sort out the documentation |
# First, sort out the documentation |
| 72 |
|
|
| 73 |
echo "Making HTML documentation" |
echo "Making HTML documentation" |
| 74 |
/bin/rm html/* |
/bin/rm html/* |
| 75 |
cp ../Index.html html/index.html |
cp index.html.src html/index.html |
| 76 |
|
|
| 77 |
for file in *.1 ; do |
for file in *.1 ; do |
| 78 |
base=`basename $file .1` |
base=`basename $file .1` |