remove no longer used bashstyle.sh

parent fc79f4bc
......@@ -39,9 +39,9 @@ make_remove () {
}
CLEAN_FILES=( data/bashstyle data/bashstyle-ng.pc ui/bashstyle.ui.h
data/bashstyle.sh rc/bashstyle-rc i18n/??/*.mo i18n/*.pot
.configure/results .make/build_done ui/#bashstyle.ui#
ui/bashstyle.ui~ doc/bashstyle.info doc/*.gz )
rc/bashstyle-rc i18n/??/*.mo i18n/*.pot .configure/results
.make/build_done ui/#bashstyle.ui# ui/bashstyle.ui~
doc/bashstyle.info doc/*.gz )
CLEAN_DIRS=( doc/html )
......
#########################################################
# #
# This is BashStyle-NG #
# #
# Licensed under GNU GENERAL PUBLIC LICENSE v3 #
# #
# Copyright 2007 - 2016 Christopher Bratusek #
# #
#########################################################
if [ ! $(grep "bashstyle-rc" ${HOME}/.bashrc) >/dev/null 2>&1 ]; then
echo -e "\nsource @DATADIR@/bashstyle-ng/rc/bashstyle-rc" >> ${HOME}/.bashrc
fi
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment