diff options
Diffstat (limited to 'doc/misc/ede.texi')
| -rw-r--r-- | doc/misc/ede.texi | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/misc/ede.texi b/doc/misc/ede.texi index 189c52f446f..bfeef343f09 100644 --- a/doc/misc/ede.texi +++ b/doc/misc/ede.texi @@ -1968,7 +1968,7 @@ Retrieves the slot @code{sourcetype} from an object of class @code{ede-target} @deffn Method ede-expand-filename :AFTER this filename &optional force Return a fully qualified file name based on target @var{THIS}. -@var{FILENAME} should a a filename which occurs in a directory in which @var{THIS} works. +@var{FILENAME} should be a filename which occurs in a directory in which @var{THIS} works. Optional argument @var{FORCE} forces the default filename to be provided even if it doesn't exist. @end deffn |