Rev 7260 | Rev 7622 | Go to most recent revision | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
| Rev 7260 | Rev 7285 | ||
|---|---|---|---|
| Line 148... | Line 148... | ||
| 148 | } |
148 | } |
| 149 | 149 | ||
| 150 | ## main program ! |
150 | ## main program ! |
| 151 | 151 | ||
| 152 | if [ -f $lastdir/doc/.def ] ; then |
152 | if [ -f $lastdir/doc/.def ] ; then |
| 153 | doclist=`awk -F'=' '$1=="doclist" {print $2}' $lastdir/ |
153 | doclist=`awk -F'=' '$1=="doclist" {print $2}' $lastdir/var.proc` |
| 154 | fi |
154 | fi |
| 155 | if [ -z "$doclist" ]; then doclist="1" ; fi |
155 | if [ -z "$doclist" ]; then doclist="1" ; fi |
| 156 | for l in $doclist; do mk_doc $l; echo "" ; echo "$l done"; done |
156 | for l in $doclist; do mk_doc $l; echo "" ; echo "$l done"; done |
| 157 | 157 | ||
| 158 | ### in case of a class, the parameter of doc () do not mind ! |
158 | ### in case of a class, the parameter of doc () do not mind ! |