Subversion Repositories wimsdev

Rev

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

Rev 7150 Rev 7249
Line 201... Line 201...
201 
!default useropts1=2
 201 
!default useropts1=2
202 
!default useropts2=1
 202 
!default useropts2=1
203 
!default useropts3=0
 203 
!default useropts3=0
204 
!set usersize=$[$wims_texbasesize + ($useropts4)]
 204 
!set usersize=$[$wims_texbasesize + ($useropts4)]
205 
 
 205 
 
206 
$[$wims_texbasesize-1]
 - 
 
207 
!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 
 
- 
 
 208 
dest_=$wims_home/public_html/$devdir/$mod
- 
 
 209 
 
- 
 
 210 
!if  $mkdoc=1
- 
 
 211 
  !sh cd $dest_ ; $wims_home/other/bin/src2def ;
- 
 
 212 
!endif
- 
 
 213 
 
- 
 
 214 
!reset mkdoc