cduce_mktop(1) General Commands Manual cduce_mktop(1)NAMEcduce_mktop -- Produce a customized CDuce toplevel/compiler.SYNOPSIScduce_mktop [target] [primitive file] Description See the CDuce users' manual: http://www.cduce.org/manual_interfacewithocaml.html#link. Author Alain Frisch <Alain.Frisch@ens.fr>. cduce_mktop(1)
| Related Man Pages |
|---|
| apr-config(1) - linux |
| coqmktop(1) - debian |
| users(1) - debian |
| wmsmpmon(1) - suse |
| symlink(3) - php |
| Similar Topics in the Unix Linux Community |
|---|
| Installing Dash Shell on OS X Lion |
| Introduction |
| Weird 'find' results |
| My first PERL incarnation... Audio Oscillograph |