diff --git a/docs/manual/CoreTasks/pathconvert.html b/docs/manual/CoreTasks/pathconvert.html index b9cd2f4bd..2d407dc4e 100644 --- a/docs/manual/CoreTasks/pathconvert.html +++ b/docs/manual/CoreTasks/pathconvert.html @@ -67,7 +67,7 @@ drive letters to Unix paths, and vice-versa.
<path>
, <fileset>
,
- <dirset>
, or <fileset>
+ <dirset>
, or <filelist>
defined elsewhere<path>
element must be supplied.