man nana-sfg (Commandes) - the nana shortform generator (aka nana science fiction generator)
NAME
nana-sfg - the nana shortform generator (aka nana science fiction generator)
SYNOPSIS
nana-sfg <a.c >sf.c nana-sfg a.c >sf.c nana-sfg *.[ch] >system.sf
DESCRIPTION
This tool mimics the generation of Eiffel "short" listings in C/C++. A shortform is the program minus the implementation (code, variables) but includes REQUIRE and ENSURE calls which are the function pre and postconditions.
SEE ALSO
nana(1), nana-sfdir(1), nana(3), I(3), DI(3), L(3), DL(3), Q(3) and nana.info.
The nana.info is the primary documentation.
AUTHOR
Phil Maker <pjm@gnu.org>