Partial support for integer divisions in access vectors
[suif.git] / html / man_argh.1.html
blobd2e22ab1e823a36ffc7f48f18472cc9d45d38c11
1 <!-- manual page source format generated by PolyglotMan v3.0.7, -->
2 <!-- available via anonymous ftp from ftp.cs.berkeley.edu:/ucb/people/phelps/tcltk/rman.tar.Z -->
4 <HTML>
5 <HEAD>
6 <TITLE>Man page for argh.1</TITLE>
7 </HEAD>
8 <BODY bgcolor=white>
9 <A HREF="#toc">Table of Contents</A><P>
11 <H2><A NAME="sect0" HREF="#toc0">Name</A></H2>
13 <P>
14 argh - front-end for multi-argument passes
16 <H2><A NAME="sect1" HREF="#toc1"><B>Synopsis</B></A></H2>
18 <P>
19 <B>argh</B> <I>progname</I> <B>-.</B><I>out-suffix</I> [ <I>flags</I> ] <I>infiles</I>
21 <H2><A NAME="sect2" HREF="#toc2"><B>Description</B></A></H2>
23 <P>
24 This little utility makes it easier to use passes that
25 take multiple input and output files on the command-line
26 by giving a different interface. It simply runs the command
27 <I>progname</I> with <I>infiles</I> as the input file names and
28 generates the output file names from these by replacing
29 the input file names with the suffix <B>.</B><I>out-suffix.</I> <B>argh</B>
30 assumes that <I>progname</I> expects its command-line in the form
31 of alternating input and output file names. Arguments
32 beginning with ``-'' are assumed to be flags instead of
33 input files, so they are passed through unchanged to <I>prog</I><B>_</B>n<I>ame.</I>
34 The special flag ``--'' is assumed to mark the end
35 of the flags, so all subsequent arguments are taken as
36 file names, even if they begin with ``-''. The ``--''
37 flag is also passed through to <I>progname.</I>
39 <H2><A NAME="sect3" HREF="#toc3"><B>History</B></A></H2>
41 <P>
42 This program was written by Chris Wilson.
43 <P>
45 <HR><P>
46 <A NAME="toc"><B>Table of Contents</B></A><P>
47 <UL>
48 <LI><A NAME="toc0" HREF="#sect0">Name</A></LI>
49 <LI><A NAME="toc1" HREF="#sect1">Synopsis</A></LI>
50 <LI><A NAME="toc2" HREF="#sect2">Description</A></LI>
51 <LI><A NAME="toc3" HREF="#sect3">History</A></LI>
52 </UL>
53 </BODY></HTML>