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` |