11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
|
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
|
+
+
+
-
+
|
# Copyright (c) P.J.Gawthrop, 1996.
###############################################################
## Version control history
###############################################################
## $Id$
## $Log$
## Revision 1.3 2000/12/28 12:48:53 peterg
## Put under RCS
##
# Revision 1.2 1996/08/30 10:19:11 peter
# New path for awk script.
#
## Revision 1.1 1996/08/18 20:00:20 peter
## Initial revision
##
###############################################################
# Inform user
echo "Creating $1_$2.doc"
# This is the main transformation using awk
awk -f $MTTPATH/trans/awk/tex2doc.awk \
gawk -f $MTTPATH/trans/awk/tex2doc.awk \
system_name=$1 representation=$2 > $1_$2.doc
|