| .. |
|
osx_package_resources
|
Delete trailing spaces
|
2017-01-15 14:57:21 -08:00 |
|
osx_package_scripts
|
Make add-shell correctly handle /etc/shells files that do not end with newlines
|
2012-07-22 17:00:44 -07:00 |
|
build_commands_hdr.sh
|
Factor out script to build commands.hdr
|
2017-10-14 13:11:42 -07:00 |
|
build_documentation.sh
|
Fix CMake documentation build path
|
2018-03-05 12:13:34 -08:00 |
|
build_index_hdr.sh
|
Factor out script to build index.hdr
|
2017-10-14 13:11:42 -07:00 |
|
build_lexicon_filter.sh
|
Fix CMake documentation build path
|
2018-03-05 12:13:34 -08:00 |
|
build_toc_txt.sh
|
Fixes the FAQ questions in the sidebar of user_doc/html/index.html
|
2018-03-31 12:18:37 -07:00 |
|
build_user_doc.sh
|
Fix CMake documentation build path
|
2018-03-05 12:13:34 -08:00 |
|
cppcheck.sh
|
Don't cppcheck the pcre sources
|
2016-06-11 15:35:52 -07:00 |
|
find_globals.fish
|
Eliminate some mutable global variables
|
2018-09-29 00:20:50 -04:00 |
|
fish_xgettext.fish
|
improve detection of msgs to be translated
|
2017-06-02 17:52:55 -07:00 |
|
git_version_gen.sh
|
git_version_gen: add support for out-of-tree tarballs
|
2018-08-28 23:10:24 +08:00 |
|
iwyu.linux.imp
|
fix random lint issues
|
2016-05-29 22:24:29 -07:00 |
|
iwyu.osx.imp
|
Fix incorrect recommendations by IWYU on macOS
|
2017-09-09 00:18:05 -07:00 |
|
lint.fish
|
Replace muparser with tinyexpr
|
2018-03-01 13:09:35 +01:00 |
|
list_committers_since.fish
|
fix 'sort | uniq'
|
2018-04-09 01:09:49 +02:00 |
|
make_pkg.sh
|
make_pkg: allow output to an environment-controlled path
|
2016-05-25 17:21:05 +00:00 |
|
make_tarball.sh
|
Update make_tarball.sh to run autoreconf instead of autoconf
|
2016-11-26 15:02:19 -08:00 |
|
osx_distribution.xml
|
Replace OS X installer PackageMaker document with a distribution file and script
|
2013-04-13 02:00:32 -07:00 |
|
style.fish
|
Replace muparser with tinyexpr
|
2018-03-01 13:09:35 +01:00 |
|
xcode_version_gen.sh
|
Xcode build: use the same files as the CMake build for versioning
|
2018-01-19 22:31:08 +08:00 |
