Rev 3706 | Go to most recent revision | Details | Last modification | View Log | RSS feed
Rev | Author | Line No. | Line |
---|---|---|---|
3704 | bpr | 1 | !!read defs |
2 | !if $transfer=yes |
||
3 | mod_dir=$wims_home/public_html/modules/devel |
||
4 | !if $catmodule!=$empty |
||
5 | !sh cp -r $wims_home/log/classes/$wims_class/doc/$doc/* $mod_dir/$wims_developer/$catmodule/doc/1/ ;\ |
||
6 | cd $mod_dir/$wims_developer/$catmodule ; src2def |
||
7 | transfer=done |
||
8 | !endif |
||
9 | !else |
||
10 | !reset file_name_src |
||
11 | list_mod=!sh ls $wims_home/public_html/modules/devel/$wims_developer |
||
12 | list_mod=!words2items $list_mod |
||
13 | list_mod_doc= |
||
14 | !for a in $list_mod |
||
15 | category = !module category devel/$wims_developer/$a |
||
16 | !if document isin $category |
||
17 | list_mod_doc=!append item $a to $list_mod_doc |
||
18 | !endif |
||
19 | !next |
||
20 | !if $list_mod_doc=$empty |
||
21 | error = $error docempty |
||
22 | !endif |
||
23 | !endif |