diff options
| author | Gerd Moellmann <[email protected]> | 2000-03-07 14:19:23 +0000 |
|---|---|---|
| committer | Gerd Moellmann <[email protected]> | 2000-03-07 14:19:23 +0000 |
| commit | f6ee1260dd77f78131492db51f2c170a54db0218 (patch) | |
| tree | 10f4387b0da8cdf63c8b9c3548ce29a500909183 /configure.in | |
| parent | f7daf1e10fd42e462f168315bb9fc3f26076da61 (diff) | |
(Fdocumentation_property): If value is not a string,
and doesn't refer to etc/DOC, evaluate it to obtain a string.
Diffstat (limited to 'configure.in')
0 files changed, 0 insertions, 0 deletions