diff options
Diffstat (limited to 'swigweb/Makefile')
| -rw-r--r-- | swigweb/Makefile | 12 |
1 files changed, 0 insertions, 12 deletions
diff --git a/swigweb/Makefile b/swigweb/Makefile deleted file mode 100644 index 516d3b8fd..000000000 --- a/swigweb/Makefile +++ /dev/null @@ -1,12 +0,0 @@ -# Simple makefile to create the web pages and update/synchronise to the real web server - -USERNAME=wsfulton - -all: makeweb rsync - -makeweb: - python makeweb.py - -rsync: - rsync -r --cvs-exclude --rsh="ssh" . $(USERNAME)@shell.sf.net:/home/groups/s/sw/swig/swigweb - |