Parent Directory
|
Revision Log
|
Patch
revision 97 by ph10, Mon Mar 5 12:36:47 2007 UTC | revision 99 by ph10, Tue Mar 6 12:27:42 2007 UTC | |
---|---|---|
# | Line 89 for file in *.3 ; do | Line 89 for file in *.3 ; do |
89 | fi | fi |
90 | echo Making $base.html | echo Making $base.html |
91 | ../maintain/132html $toc $base <$file >html/$base.html | ../maintain/132html $toc $base <$file >html/$base.html |
92 | if [ $? != 0 ] ; then exit 1; fi | |
93 | done | done |
94 | ||
95 | # End of documentation processing | # End of documentation processing |
|
ViewVC Help | |
Powered by ViewVC 1.1.5 |