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 |