Rev 12586 | Go to most recent revision | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
Rev 12586 | Rev 16212 | ||
---|---|---|---|
Line 32... | Line 32... | ||
32 | !endif |
32 | !endif |
33 | !endif |
33 | !endif |
34 | !readproc $docdir/.def |
34 | !readproc $docdir/.def |
35 | !! only in case that we come from adm/doc to read common_files |
35 | !! only in case that we come from adm/doc to read common_files |
36 | !! already read in other cases |
36 | !! already read in other cases |
- | 37 | !if $common_files!=yes |
|
37 | !if /doc isin $(docdir) |
38 | !if /doc isin $(docdir) |
38 | !set docdir1= !replace internal /doc by in $(docdir) |
39 | !set docdir1= !replace internal /doc by in $(docdir) |
39 | ! |
40 | !readproc $docdir1/var.proc |
- | 41 | !else |
|
- | 42 | !readproc $docdir/var.proc |
|
- | 43 | !endif |
|
40 | !endif |
44 | !endif |
41 | !! end only |
45 | !! end only |
42 | !if $common_files=yes |
46 | !if $common_files=yes |
43 | !set doc_=$docdir/files |
47 | !set doc_=$docdir/files |
44 | !else |
48 | !else |