Subversion Repositories wimsdev

Rev

Rev 7249 | Rev 9932 | Go to most recent revision | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed

Rev 7249 Rev 7260
Line 205... Line 205...
205 
 
 205 
 
206 
!setdef wims_useropts=$(usersize)$(useropts1)$(useropts2)$(useropts3) in wimshome/sessions/$wims_session/var.stat
 206 
!setdef wims_useropts=$(usersize)$(useropts1)$(useropts2)$(useropts3) in wimshome/sessions/$wims_session/var.stat
207 
 
 207 
 
208 
dest_=$wims_home/public_html/$devdir/$mod
 208 
dest_=$wims_home/public_html/$devdir/$mod
209 
 
 209 
 
210 
!if  $mkdoc=1
 210 
!if  $mkdoc !=$empty
211 
  !sh cd $dest_ ; $wims_home/other/bin/src2def ;
 211 
  !sh cd $dest_ ; $wims_home/other/bin/src2def ;
212 
!endif
 212 
!endif
213 
 
 213 
 
214 
!reset mkdoc
 214 
!reset mkdoc