Rev 14052 | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
| Rev 14052 | Rev 15280 | ||
|---|---|---|---|
| Line 15... | Line 15... | ||
| 15 | !if $modreq=$empty |
15 | !if $modreq=$empty |
| 16 | job=modname |
16 | job=modname |
| 17 | !changeto $job.proc |
17 | !changeto $job.proc |
| 18 | !endif |
18 | !endif |
| 19 | 19 | ||
| 20 | !read scripts/getindex $modreq |
20 | !read scripts/getindex.proc $modreq |
| 21 | !if $title=$empty and $inddef=$empty |
21 | !if $title=$empty and $inddef=$empty |
| 22 | job=modname |
22 | job=modname |
| 23 | modreq= |
23 | modreq= |
| 24 | !changeto $job.proc |
24 | !changeto $job.proc |
| 25 | !endif |
25 | !endif |
| Line 27... | Line 27... | ||
| 27 | mod=$modreq |
27 | mod=$modreq |
| 28 | 28 | ||
| 29 | !if $inddef!=$empty |
29 | !if $inddef!=$empty |
| 30 | inddef= |
30 | inddef= |
| 31 | !if $mod=.new |
31 | !if $mod=.new |
| 32 | !read scripts/target |
32 | !read scripts/target.proc |
| 33 | !if $error!=$empty or $target=$empty |
33 | !if $error!=$empty or $target=$empty |
| 34 | job=create |
34 | job=create |
| 35 | !distribute item $target1,$t2,$t3,$target4 into o1,o2,o3,o4 |
35 | !distribute item $target1,$t2,$t3,$target4 into o1,o2,o3,o4 |
| 36 | !changeto create.proc |
36 | !changeto create.proc |
| 37 | !endif |
37 | !endif |
| Line 215... | Line 215... | ||
| 215 | !if $i_common_images=yes |
215 | !if $i_common_images=yes |
| 216 | !sh sed -i.bak 's/common_images=no/common_images=yes/g' $dest/var.proc\ |
216 | !sh sed -i.bak 's/common_images=no/common_images=yes/g' $dest/var.proc\ |
| 217 | sed -i.bak 's/class_importation=yes/class_importation=no/g' $dest/var.proc\ |
217 | sed -i.bak 's/class_importation=yes/class_importation=no/g' $dest/var.proc\ |
| 218 | rm $dest/var.proc.bak |
218 | rm $dest/var.proc.bak |
| 219 | !endif |
219 | !endif |
| 220 | !read scripts/getindex $mod |
220 | !read scripts/getindex.proc $mod |
| 221 | wims_module_log=$mod/INDEX |
221 | wims_module_log=$mod/INDEX |
| 222 | !endif |
222 | !endif |
| 223 | 223 | ||
| 224 | !read files |
224 | !read files.proc |
| 225 | !default useropts1=2 |
225 | !default useropts1=2 |
| 226 | !default useropts2=1 |
226 | !default useropts2=1 |
| 227 | !default useropts3=0 |
227 | !default useropts3=0 |
| 228 | !set usersize=$[$wims_texbasesize + ($useropts4)] |
228 | !set usersize=$[$wims_texbasesize + ($useropts4)] |
| 229 | 229 | ||