diff options
| author | Ludovic Courtès <ludo@gnu.org> | 2009-08-15 12:53:59 +0200 |
|---|---|---|
| committer | Ludovic Courtès <ludo@gnu.org> | 2009-08-15 14:18:57 +0200 |
| commit | 54b38caf19deb0e5a6e8146c65b3e176e7fffa60 (patch) | |
| tree | 5432bacb46329c9fd823fb9cea9c08e7805aa4ce /.gitignore | |
| parent | acf04ab4621d9b558f0c403897d36ef9369d1dfc (diff) | |
| download | guile-54b38caf19deb0e5a6e8146c65b3e176e7fffa60.tar.gz | |
Add proper `--help' and `--version' for `guile-tools compile'.
* configure.ac: Produce `meta/guile-tools'.
* meta/Makefile.am (EXTRA_DIST): Add `guile-tools.in'.
(bin_SCRIPTS): Remove `guile-tools'.
* meta/uninstalled-env.in (PATH): Add "${top_builddir}/meta".
* module/scripts/compile.scm (%options): Add `--version'.
(parse-args): Show the offending option name upon error.
(show-version): New.
(compile): Use `%guile-bug-report-address'.
Diffstat (limited to '.gitignore')
| -rw-r--r-- | .gitignore | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/.gitignore b/.gitignore index 004c7f37d..2a7e69496 100644 --- a/.gitignore +++ b/.gitignore @@ -113,3 +113,4 @@ INSTALL /GRTAGS /GSYMS /GTAGS +/meta/guile-tools |