Rev 9932 | Rev 10237 | Go to most recent revision | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
Rev 9932 | Rev 10235 | ||
---|---|---|---|
Line 57... | Line 57... | ||
57 | !sh $src |
57 | !sh $src |
58 | !endif |
58 | !endif |
59 | 59 | ||
60 | dirs=!items2words $dir |
60 | dirs=!items2words $dir |
61 | bfiles=!sh cd $devdir/$mod\ |
61 | bfiles=!sh cd $devdir/$mod\ |
62 | dd=`find $dirs -type f -name '*'| sort | uniq |
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 | 67 | ||
68 | dest_=$wims_home/public_html/$devdir/$mod |
68 | dest_=$wims_home/public_html/$devdir/$mod |
69 | 69 | ||
70 | !if |
70 | !if $mkdoc !=$empty |
71 | !sh cd $dest_ ; $wims_home/other/bin/src2def ; |
71 | !sh cd $dest_ ; $wims_home/other/bin/src2def ; |
72 | !endif |
72 | !endif |
73 | 73 | ||
74 | !reset mkdoc |
74 | !reset mkdoc |