diff options
author | Mike Burns <mike@mike-burns.com> | 2013-08-02 14:27:44 -0400 |
---|---|---|
committer | Mike Burns <mike@mike-burns.com> | 2013-08-02 14:27:44 -0400 |
commit | fe3244ca9c8c9a38ea700851e36667b1015d11e6 (patch) | |
tree | 3c0f61030cc37250844d914c25ffaff672330698 /man | |
parent | aacff1b269a39c967f84ab33b68f827febee8891 (diff) |
Extra argument parsing into rcm.sh
Pull the `-V`, `-v`, `-q`, `-t`, and `-d` out into the
`handle_common_flags` and `handle_metadata_flags` functions, shared
between the different programs.
Diffstat (limited to 'man')
-rw-r--r-- | man/Makefile.in | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/man/Makefile.in b/man/Makefile.in index 0d9e7ce..fecc814 100644 --- a/man/Makefile.in +++ b/man/Makefile.in @@ -184,9 +184,9 @@ $(srcdir)/Makefile.in: $(srcdir)/Makefile.am $(am__configure_deps) exit 1;; \ esac; \ done; \ - echo ' cd $(top_srcdir) && $(AUTOMAKE) --foreign man/Makefile'; \ + echo ' cd $(top_srcdir) && $(AUTOMAKE) --gnu man/Makefile'; \ $(am__cd) $(top_srcdir) && \ - $(AUTOMAKE) --foreign man/Makefile + $(AUTOMAKE) --gnu man/Makefile .PRECIOUS: Makefile Makefile: $(srcdir)/Makefile.in $(top_builddir)/config.status @case '$?' in \ |