From 88303d4833297b320cd2c6f83e69735f5c872492 Mon Sep 17 00:00:00 2001 From: Paul Masurel Date: Mon, 19 Mar 2018 11:53:15 +0900 Subject: [PATCH] Removed script directory --- script/build-doc.sh | 10 ---------- script/profile.sh | 5 ----- 2 files changed, 15 deletions(-) delete mode 100755 script/build-doc.sh delete mode 100644 script/profile.sh diff --git a/script/build-doc.sh b/script/build-doc.sh deleted file mode 100755 index 7c36a9919..000000000 --- a/script/build-doc.sh +++ /dev/null @@ -1,10 +0,0 @@ -#!/bin/bash -DEST=target/doc/tantivy/docs/ -mkdir -p $DEST - -for f in $(ls docs/*.md) -do - rustdoc $f -o $DEST --markdown-css ../../rustdoc.css --markdown-css style.css -done - -cp docs/*.css $DEST \ No newline at end of file diff --git a/script/profile.sh b/script/profile.sh deleted file mode 100644 index d5ea02407..000000000 --- a/script/profile.sh +++ /dev/null @@ -1,5 +0,0 @@ -#/bin/bash -valgrind --tool=cachegrind target/release/tantivy-bench -i /data/wiki-index -q ./queries.txt -n 3 -valgrind --tool=callgrind target/release/tantivy-bench -i /data/wiki-index -q ./queries.txt -n 3 - -