Rev 10284 | Rev 12498 | Go to most recent revision | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
Rev 10284 | Rev 11551 | ||
---|---|---|---|
Line 194... | Line 194... | ||
194 | header=\ |
194 | header=\ |
195 | @\ |
195 | @\ |
196 | fi\ |
196 | fi\ |
197 | fi\ |
197 | fi\ |
198 | echo "$ind" >$dest/INDEX |
198 | echo "$ind" >$dest/INDEX |
- | 199 | !if $i_common_images=yes |
|
- | 200 | !sh sed -i.bak 's/common_images=no/common_images=yes/g' $dest/var.proc\ |
|
- | 201 | sed -i.bak 's/class_importation=yes/class_importation=no/g' $dest/var.proc\ |
|
- | 202 | rm $dest/var.proc.bak |
|
- | 203 | !endif |
|
199 | !read scripts/getindex $mod |
204 | !read scripts/getindex $mod |
200 | wims_module_log=$mod/INDEX |
205 | wims_module_log=$mod/INDEX |
201 | !endif |
206 | !endif |
202 | 207 | ||
203 | !read files |
208 | !read files |