]> matita.cs.unibo.it Git - pkg-cerco/acc.git/blob - web/make-cerco-input.sh
Package description and copyright added.
[pkg-cerco/acc.git] / web / make-cerco-input.sh
1 #!/usr/bin/zsh
2
3 OUTPUT=cerco_input.xml
4
5 echo '<div>' > $OUTPUT
6
7 foreach i in $*; do
8   echo "<div>" >> $OUTPUT
9   echo "<div>`basename $i`</div>" >> $OUTPUT
10   echo "<![CDATA[" >> $OUTPUT
11   cat $i >> $OUTPUT
12   echo "]]>" >> $OUTPUT
13   echo "</div>" >> $OUTPUT
14 done
15
16 echo '</div>' >> $OUTPUT