Rev 12490 | Go to most recent revision | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
Rev 12490 | Rev 13340 | ||
---|---|---|---|
Line 34... | Line 34... | ||
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 /doc isin $(docdir) |
37 | !if /doc isin $(docdir) |
38 | !set docdir1= !replace internal /doc by in $(docdir) |
38 | !set docdir1= !replace internal /doc by in $(docdir) |
39 | ! |
39 | !readproc $docdir1/var.proc |
40 | !endif |
40 | !endif |
41 | !! end only |
41 | !! end only |
42 | !if $common_files=yes |
42 | !if $common_files=yes |
43 | !set doc_=$docdir/files |
43 | !set doc_=$docdir/files |
44 | !else |
44 | !else |