Rev 7285 | Rev 10235 | Go to most recent revision | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
Rev 7285 | Rev 9932 | ||
---|---|---|---|
Line 62... | Line 62... | ||
62 | dd=`find $dirs -type f -name '*'| sort | uniq 2>/dev/null`\ |
62 | dd=`find $dirs -type f -name '*'| sort | uniq 2>/dev/null`\ |
63 | [ -z "$$dd" ] && exit\ |
63 | [ -z "$$dd" ] && exit\ |
64 | ls -l $$dd | awk '{print $$9","$$5}' |
64 | ls -l $$dd | awk '{print $$9","$$5}' |
65 | 65 | ||
66 | bcnt=!linecnt $bfiles |
66 | bcnt=!linecnt $bfiles |
- | 67 | ||
- | 68 | dest_=$wims_home/public_html/$devdir/$mod |
|
- | 69 | ||
- | 70 | !if $mkdoc !=$empty |
|
- | 71 | !sh cd $dest_ ; $wims_home/other/bin/src2def ; |
|
- | 72 | !endif |
|
- | 73 | ||
- | 74 | !reset mkdoc |