diff options
Diffstat (limited to 'tools')
-rw-r--r-- | tools/control/docs/empty_dir | 0 | ||||
-rw-r--r-- | tools/control/web/tmpl/makefile | 2 |
2 files changed, 1 insertions, 1 deletions
diff --git a/tools/control/docs/empty_dir b/tools/control/docs/empty_dir new file mode 100644 index 0000000000..e69de29bb2 --- /dev/null +++ b/tools/control/docs/empty_dir diff --git a/tools/control/web/tmpl/makefile b/tools/control/web/tmpl/makefile index aed826114e..a9e2a1c392 100644 --- a/tools/control/web/tmpl/makefile +++ b/tools/control/web/tmpl/makefile @@ -28,7 +28,7 @@ target1 = $(target)/index.jsp $(target)/newdom.jsp $(target)/vd.jsp \ all: $(src0) $(src1) ./install.pl -s -home index mv *.jsp $(target) - cp $(src0) $(target) + cp -f $(src0) $(target) clean: rm -f $(target1) |