From 2ed989827f30425245efba7dca2b49d721983ad7 Mon Sep 17 00:00:00 2001 From: "Yury V. Zaytsev" Date: Sun, 21 Feb 2016 20:21:57 +0100 Subject: [PATCH] maint: minor improvements to source index by mooffie Signed-off-by: Yury V. Zaytsev --- maint/utils/travis-deploy.sh | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/maint/utils/travis-deploy.sh b/maint/utils/travis-deploy.sh index 49d7c2ce8..9222c698e 100755 --- a/maint/utils/travis-deploy.sh +++ b/maint/utils/travis-deploy.sh @@ -30,7 +30,7 @@ GLOBAL_VERSION="6.5.2" GLOBAL_URL="http://ftp.gnu.org/pub/gnu/global/global-${GLOBAL_VERSION}.tar.gz" HTAGSFIX_URL="https://github.com/mooffie/htagsfix/raw/master/htagsfix" -mkdir CVS && pushd CVS # ignored by GLOBAL's indexer +mkdir .global && pushd .global # ignored by GLOBAL's indexer wget ${GLOBAL_URL} tar zxvf global-${GLOBAL_VERSION}.tar.gz > /dev/null 2>&1 @@ -47,7 +47,7 @@ popd gtags -v > /dev/null 2>&1 -htags --suggest > /dev/null 2>&1 +htags --suggest -t "Welcome to the Midnight Commander source tour!" > /dev/null 2>&1 wget --no-check-certificate ${HTAGSFIX_URL}