Rev 17871 | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
| Rev 17871 | Rev 17881 | ||
|---|---|---|---|
| Line 16... | Line 16... | ||
| 16 | if [ -z "$wims_home" ]; then |
16 | if [ -z "$wims_home" ]; then |
| 17 | echo WIMS home directory not found. |
17 | echo WIMS home directory not found. |
| 18 | exit; |
18 | exit; |
| 19 | fi |
19 | fi |
| 20 | 20 | ||
| 21 | w_msg2wims_primitives=`grep |
21 | w_msg2wims_primitives=`grep msgprim $wims_home/public_html/scripts/primitives/allmsgprim | awk -F "=" '{print $2}'` |
| 22 | export w_msg2wims_primitives |
22 | export w_msg2wims_primitives |
| 23 | ### macro : structure of the document : define $def and $src |
23 | ### macro : structure of the document : define $def and $src |
| 24 | ### the parameter is the name of the directory in doc (not used in a class) |
24 | ### the parameter is the name of the directory in doc (not used in a class) |
| 25 | doc_type () { |
25 | doc_type () { |
| 26 | test= |
26 | test= |