mirror of
https://github.com/BurntSushi/ripgrep.git
synced 2025-04-19 09:02:15 +02:00
makefile
This commit is contained in:
parent
883ceb343c
commit
8996911681
14
Makefile
Normal file
14
Makefile
Normal file
@ -0,0 +1,14 @@
|
|||||||
|
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
|
Loading…
x
Reference in New Issue
Block a user