diff options
Diffstat (limited to 'mcs/doctools/makefile')
| -rwxr-xr-x | mcs/doctools/makefile | 11 |
1 files changed, 0 insertions, 11 deletions
diff --git a/mcs/doctools/makefile b/mcs/doctools/makefile deleted file mode 100755 index c7fe192bd46..00000000000 --- a/mcs/doctools/makefile +++ /dev/null @@ -1,11 +0,0 @@ -docstub: - NAnt docstub - -docval: - NAnt docval - -gui: - NAnt gui - -clean: - rm -rf build |