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 |