master: devel.sh: advance to specification for ignore_files.
Brad Bell
3 years ago
| 15 | 15 | configure.ac |
| 16 | 16 | ' |
| 17 | 17 | # |
| 18 | # List of special files, for this repository, that the devel tools | |
| 19 | # ignore (.gitignore, batch_edit.sed, bin/devel.sh should be in this list). | |
| 18 | # List of special files, for this repository, that the devel tools ignore. | |
| 19 | # The files /.gitignore, /batch_edit.sed, /bin/devel.sh should be in this list. | |
| 20 | # Files that are created by a program, and checked into the repository, | |
| 21 | # should also be in this list. Names that end with / are directories to ignore. | |
| 22 | # Names that begin with a / are relative to top source directroy. | |
| 23 | # All other names are relavie paths somewhere below the top source directory. | |
| 20 | 24 | ignore_files=' |
| 21 | .gitignore | |
| 22 | .coin-or/projDesc.xml | |
| 25 | /.gitignore | |
| 26 | /.coin-or/projDesc.xml | |
| 23 | 27 | |
| 24 | ar-lib | |
| 25 | authors | |
| 26 | batch_edit.sed | |
| 27 | bin/devel.sh | |
| 28 | bin/get_highlight.sh | |
| 29 | bin/get_omhelp.sh | |
| 30 | bin/run_omhelp.sh | |
| 31 | cmake/cppad_uninstall.cmake | |
| 32 | coin.png | |
| 33 | COPYING | |
| 34 | compile | |
| 35 | configure | |
| 36 | config.guess | |
| 37 | config.sub | |
| 38 | configure | |
| 39 | depcomp | |
| 40 | install-sh | |
| 41 | missing | |
| 28 | /ar-lib | |
| 29 | /authors | |
| 30 | /batch_edit.sed | |
| 31 | /bin/devel.sh | |
| 32 | /bin/get_highlight.sh | |
| 33 | /bin/get_omhelp.sh | |
| 34 | /bin/run_omhelp.sh | |
| 35 | /cmake/cppad_uninstall.cmake | |
| 36 | /coin.png | |
| 37 | /COPYING | |
| 38 | /compile | |
| 39 | /configure | |
| 40 | /config.guess | |
| 41 | /config.sub | |
| 42 | /configure | |
| 43 | /depcomp | |
| 44 | /install-sh | |
| 45 | /missing | |
| 42 | 46 | makefile.in |
| 43 | 47 | ' |
| 44 | 48 | # ---------------------------------------------------------------------------- |