#!/bin/sh

# convert nuweb to noweb

LIB=/home/david/pub/axiom-libre/axiom-dm/axiom-i386/mnt/linux/bin/lib

$LIB/numarkup "$@" | $LIB/unmarkup
