#!/bin/sh # simple script to fix the sml-nj cml documentation # source so that it can be used as a test for ml-doc. DOCSRCDIR='%%PREFIX%%/smlnj/cml/doc' if [ ! -d "$DOCSRCDIR" ] then echo "CML doc sources not found in directory $DOCSRCDIR" echo "Install lang/sml-nj-devel with option WITH_EVERYTHING" exit 1 fi cp -r "$DOCSRCDIR" ./cml-doc cd cml-doc/ sed -i .orig -e 's#/Users/jhr/Work/sml-basis/Basis/##' Config.cfg mkdir Info mkdir HTML mv ML-Doc/lib/* ML-Doc/ rmdir ML-Doc/lib sed -i .orig -e 's#/Users/jhr/Work/Tools#%%PREFIX%%/share#' CATALOG sed -i .orig \ -e 's/STRID="CML"/STRID="RunCML"/' \ -e 's/SIGID="CML"/SIGID="RunCML"/' \ -e 's/FILE=CML-SIG/FILE=RUNCML-SIG/' \ ML-Doc/run-cml.mldoc echo '' >> Entities.sgml echo '' >> Entities.sgml find ML-Doc -name '*.mldoc' -print | mk-mldoc-makefile make