Subversion Repositories wimsdev

Rev

Rev 18226 | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed

Rev 18226 Rev 18254
Line 2... Line 2...
2
!! useful when one comes from modtool
2
!! useful when one comes from modtool
3
!set modu_lang=$lang
3
!set modu_lang=$lang
-
 
4
!!
-
 
5
!! need to reset this
-
 
6
!reset lang_exists
4
!readproc deduc/names
7
!readproc deduc/names
5
!read Exindex
8
!read Exindex
6
!if $(titlelist_$modu_lang)!=$empty
9
!if $(titlelist_$modu_lang)!=$empty
7
  !set titlelist=$(titlelist_$modu_lang)
10
  !set titlelist=$(titlelist_$modu_lang)
8
!endif
11
!endif