Rev 11292 | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
Rev 11292 | Rev 17228 | ||
---|---|---|---|
Line 2... | Line 2... | ||
2 | tit:module |
2 | tit:module |
3 | type:$type_both |
3 | type:$type_both |
4 | syntax:!module ``defname'' ``modname'' |
4 | syntax:!module ``defname'' ``modname'' |
5 | mean:Returns the definition for ``defname'' of the module ``modname''.\ |
5 | mean:Returns the definition for ``defname'' of the module ``modname''.\ |
6 | The most common use of this command is to get the title of a module \ |
6 | The most common use of this command is to get the title of a module \ |
7 | (``defname'' is then <span class="tt">title</span>). <br |
7 | (``defname'' is then <span class="tt">title</span>). <br>\ |
8 | The INDEX file of the module ``modname'' will be parsed to look\ |
8 | The INDEX file of the module ``modname'' will be parsed to look\ |
9 | for the definition of ``defname''. |
9 | for the definition of ``defname''. |