Merge branch 'rtoy-html-support-external-docs'
[maxima.git] / archive / bin / add-defs
blobd8b65aa2ca6c5eada0894d7da3f9ec97a4fe5b8e
1 #!/bin/sh
2 # $1 = akcldir
3 # $2 = Makedefs
4 # $3 = makefile to sub into
5 AKCLDIR=$1
6 MAKEDEFS=$2
7 MAKEFILE=$3
11 echo "@s[# begin makedefs" > tmpxx
12 echo "@s,# end makedefs" >> tmpxx
13 echo "@s|# begin makedefs" >> tmpxx
14 # echo "AKCLDIR=$1" >> tmpxx
15 cat $2 >> tmpxx
16 echo "# end makedefs" >> tmpxx
17 echo "@s]" >> tmpxx
19 $1/merge $3 tmpxx tmp1
20 mv tmp1 $3