diff --git a/Docs/src/basic.but b/Docs/src/basic.but index 643e2b01..339d244a 100644 --- a/Docs/src/basic.but +++ b/Docs/src/basic.but @@ -74,6 +74,27 @@ Adds file(s) to be extracted to the current output path ($OUTDIR). \c File /r /x CVS myproject\*.* \c File /r /x *.res /x *.obj /x *.pch source\*.* +\\Note:\\ when using the \e{/r} switch, both matching directories and files will be searched. This is always done with or without the use of wildcards, even if the given path perfectly matches one directory. That means, the following directory structure: + +\c something +\c file.dat +\c another.dat +\c dir +\c something +\c dir2 +\c file2.dat +\c another +\c something +\c readme.txt + +with the following \e{File} usage: + +\c File /r something + +will match the directory named \e{something} on the root directory, the file named \e{something} in the directory named \e{dir} and the directory named \e{something} in the directory named \e{another}. To match only the directory named \e{something} on the root directory, use the following: + +\c File /r something\*.* + \S2{rename} Rename \c [/REBOOTOK] source_file dest_file