diff options
Diffstat (limited to 'Makefile')
| -rw-r--r-- | Makefile | 14 |
1 files changed, 0 insertions, 14 deletions
diff --git a/Makefile b/Makefile deleted file mode 100644 index 290ac68a..00000000 --- a/Makefile +++ /dev/null @@ -1,14 +0,0 @@ -all: - echo Nothing to do... - -ctags: - ctags --options=ctags.rust --languages=Rust src/*.rs src/*/*.rs - -docs: - cargo doc - in-dir ./target/doc fix-perms - rscp ./target/doc/* gopher:~/www/burntsushi.net/rustdoc/ - -push: - git push origin master - git push github master |