Rev 17336 | Go to most recent revision | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
| Rev 17336 | Rev 17337 | ||
|---|---|---|---|
| Line 4... | Line 4... | ||
| 4 | !if robot isin $session |
4 | !if robot isin $session |
| 5 | style=integral |
5 | style=integral |
| 6 | !endif |
6 | !endif |
| 7 | 7 | ||
| 8 | tit=<li><h4 class="wimsdoc_tit"> |
8 | tit=<li><h4 class="wimsdoc_tit"> |
| 9 | titend=</h4> |
9 | titend=</h4> |
| 10 | emph=<span class="wims_code_words"> |
10 | emph=<span class="wims_code_words"> |
| Line 13... | Line 13... | ||
| 13 | !default lang=en |
13 | !default lang=en |
| 14 | !default style=indexed |
14 | !default style=indexed |
| 15 | !default cmd_choose=all |
15 | !default cmd_choose=all |
| 16 | 16 | ||
| 17 | !if $style=integral |
17 | !if $style=integral |
| 18 | cmd_choose=all |
18 | cmd_choose=all |
| 19 | !endif |
19 | !endif |
| 20 | 20 | ||
| 21 | !read Findex |
21 | !read Findex |
| 22 | cmdfiles=$(cmdf_$cmd_choose) |
22 | cmdfiles=$(cmdf_$cmd_choose) |
| 23 | 23 | ||