2002-01-26 05:18:06 -08:00
|
|
|
#!/bin/sh
|
|
|
|
|
# $Id$
|
|
|
|
|
|
2002-01-26 09:47:40 -08:00
|
|
|
IFILE=pa_r.ml
|
|
|
|
|
OFILE=q_MLast.ml
|
2002-01-26 05:18:06 -08:00
|
|
|
(
|
2002-01-26 09:47:40 -08:00
|
|
|
sed -e '/^EXTEND$/,$d' $OFILE
|
2002-01-26 05:18:06 -08:00
|
|
|
echo EXTEND
|
2002-02-05 20:36:36 -08:00
|
|
|
../../boot/ocamlrun ./camlp4r -I . -I ../etc q_MLast.cmo pa_extend.cmo pr_r.cmo pr_extend.cmo -cip -quotify $IFILE | sed -e '1,/^EXTEND$/d' -e '/^END;$/,$d'
|
2002-01-26 05:18:06 -08:00
|
|
|
echo ' (* Antiquotations for local entries *)'
|
2002-01-26 09:47:40 -08:00
|
|
|
sed -e '1,/Antiquotations for local entries/d' $OFILE
|
2002-01-26 05:18:06 -08:00
|
|
|
)
|
