* lib/edit.indent.rc: Remove all options for indent and add a

comment explaining where those options should be.
This commit is contained in:
Pavel Roskin 2002-11-06 20:27:06 +00:00
parent 27244da8cc
commit 2797997f9c
2 changed files with 7 additions and 1 deletions

View File

@ -1,3 +1,8 @@
2002-11-06 Pavel Roskin <proski@gnu.org>
* lib/edit.indent.rc: Remove all options for indent and add a
comment explaining where those options should be.
2002-11-05 Pavel Roskin <proski@gnu.org> 2002-11-05 Pavel Roskin <proski@gnu.org>
* lib/mc-wrapper.csh.in: Remove /bin/csh at the beginning - this * lib/mc-wrapper.csh.in: Remove /bin/csh at the beginning - this

View File

@ -9,7 +9,8 @@ exec >/dev/null
case `echo $1 |sed 's/^.*\.//'` in case `echo $1 |sed 's/^.*\.//'` in
c|h) c|h)
# ftp://ftp.gnu.org/pub/gnu/indent/ # ftp://ftp.gnu.org/pub/gnu/indent/
indent -kr -pcs "$2" # Please add options to your ~/.indent.pro, not here.
indent "$2"
;; ;;
C|cc|CC|cxx|CXX|cpp|CPP) C|cc|CC|cxx|CXX|cpp|CPP)
# http://astyle.sourceforge.net/ # http://astyle.sourceforge.net/