cduce_mktop(1) debian man page | unix.com

Man Page: cduce_mktop

Operating Environment: debian

Section: 1

cduce_mktop(1)						      General Commands Manual						    cduce_mktop(1)

NAME
cduce_mktop -- Produce a customized CDuce toplevel/compiler.
SYNOPSIS
cduce_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-1-config(1) - linux
link(1) - linux
coqmktop(1) - debian
link(1) - debian
symlink(3) - php
Similar Topics in the Unix Linux Community
awk or sed - Convert 2 lines to 1 line
Introduction
Find columns in a file based on header and print to new file
Weird 'find' results
My first PERL incarnation... Audio Oscillograph