11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
|
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
|
+
+
+
-
+
-
-
-
-
-
-
|
# Copyright (c) P.J.Gawthrop, 1996.
###############################################################
## Version control history
###############################################################
## $Id$
## $Log$
## 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 gawk
gawk -f $MTTPATH/tex2doc.awk $1_$2.txt > $1_$2.doc
gawk -f $MTTPATH/trans/awk/tex2doc.awk $1_$2.txt > $1_$2.doc
|