next up previous contents index
Next: Annotation Up: Rmap input files Previous: Map block   Contents   Index

Termination

The -end token will tell Rmap to stop reading the file and to the translation. The token -quit will do the same thing.


Christopher Basten 2002-03-27