From 8982636c1ee55d1865b33b7f7c854c082b129cdf Mon Sep 17 00:00:00 2001
From: phiresky <phireskyde+git@gmail.com>
Date: Wed, 12 Jun 2019 22:22:44 +0200
Subject: [PATCH] no man page for now

---
 ci/script.sh | 12 ++++++------
 1 file changed, 6 insertions(+), 6 deletions(-)

diff --git a/ci/script.sh b/ci/script.sh
index 7ad7c34..08118a6 100755
--- a/ci/script.sh
+++ b/ci/script.sh
@@ -23,14 +23,14 @@ main() {
     set -x
 
     # sanity check the file type
-    file target/"$TARGET"/debug/rg
+    file target/"$TARGET"/debug/rga
 
     # Check that we've generated man page and other shell completions.
-    outdir="$(cargo_out_dir "target/$TARGET/debug")"
-    file "$outdir/rg.bash"
-    file "$outdir/rg.fish"
-    file "$outdir/_rg.ps1"
-    file "$outdir/rg.1"
+    #outdir="$(cargo_out_dir "target/$TARGET/debug")"
+    #file "$outdir/rg.bash"
+    #file "$outdir/rg.fish"
+    #file "$outdir/_rg.ps1"
+    #file "$outdir/rg.1"
 
     # Apparently tests don't work on arm, so just bail now. I guess we provide
     # ARM releases on a best effort basis?