diff options
Diffstat (limited to 'docs/doctool/NaturalDocs.bat')
| -rw-r--r-- | docs/doctool/NaturalDocs.bat | 17 |
1 files changed, 0 insertions, 17 deletions
diff --git a/docs/doctool/NaturalDocs.bat b/docs/doctool/NaturalDocs.bat deleted file mode 100644 index 59e39631..00000000 --- a/docs/doctool/NaturalDocs.bat +++ /dev/null @@ -1,17 +0,0 @@ -@echo off - -set NaturalDocsParams= - -rem Shift and loop so we can get more than nine parameters. -rem This is especially important if we have spaces in file names. - -:MORE -if "%1"=="" goto NOMORE -set NaturalDocsParams=%NaturalDocsParams% %1 -shift -goto MORE -:NOMORE - -perl NaturalDocs %NaturalDocsParams% - -set NaturalDocsParams= \ No newline at end of file |