blob: 0ee742c533a534a4e05ec3ee582c439906721f6e (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
|
#!/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 '<!ENTITY RUNCML SDATA "RUNCML">' >> Entities.sgml
echo '<!ENTITY RUNCML-SIG SDATA "run-cml-sig.sml">' >> Entities.sgml
find ML-Doc -name '*.mldoc' -print | mk-mldoc-makefile
make
|
