ge2e1
Preprocess gobo eiffel templates
Usage
ge2e.shdirname
Overview
ge2.sh preprocesses <filename>.ge files in directory dirname.
It writes output to corresponding <filename>.e files in directory dirname/spec/(ise|ve|se|hact|tower)/<filename>.e.