10
11
12
13
14
15
16
17
18
19
20
21
22
23
|
# Copyright (c) P.J.Gawthrop, 1989, 1990, 1991, 1993, 1994, 1995, 1996.
###############################################################
## Version control history
###############################################################
## $Header$
## $Log$
## Revision 1.118 1998/02/05 12:00:11 peterg
## Tidy mode now default.
## It seems to work ok but not for book type documents.
##
## Revision 1.117 1998/02/04 16:50:50 peterg
## Introduced the tidy (-t and -T) options
##
|
>
>
>
|
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
|
# Copyright (c) P.J.Gawthrop, 1989, 1990, 1991, 1993, 1994, 1995, 1996.
###############################################################
## Version control history
###############################################################
## $Header$
## $Log$
## Revision 1.119 1998/02/05 15:04:25 peterg
## Fixed problem with book in tidy mode.
##
## Revision 1.118 1998/02/05 12:00:11 peterg
## Tidy mode now default.
## It seems to work ok but not for book type documents.
##
## Revision 1.117 1998/02/04 16:50:50 peterg
## Introduced the tidy (-t and -T) options
##
|
630
631
632
633
634
635
636
637
638
639
640
641
642
643
644
|
if [ "$2" = "rep" ]; then
documenttype=article
# See if we are making a book -- ie representation rep on a directory
isMTT_work=`pwd | grep 'MTT_work`
if [ -n "$isMTT_work" ]; then
dotdot='../'
fi
echo $dotdot$1
isdirectory=`file $dotdot$1 | awk '{print $2}' | grep directory`
if [ -n "$isdirectory" ]; then
documenttype=book
fi
else
documenttype=section
|
<
|
633
634
635
636
637
638
639
640
641
642
643
644
645
646
|
if [ "$2" = "rep" ]; then
documenttype=article
# See if we are making a book -- ie representation rep on a directory
isMTT_work=`pwd | grep 'MTT_work`
if [ -n "$isMTT_work" ]; then
dotdot='../'
fi
isdirectory=`file $dotdot$1 | awk '{print $2}' | grep directory`
if [ -n "$isdirectory" ]; then
documenttype=book
fi
else
documenttype=section
|
745
746
747
748
749
750
751
752
753
754
755
756
757
758
759
|
fi
exit
fi
# Tidy mode - operate in the directory MTT-work
if [ "$tidy" = "tidy" ]; then
mkdir -p MTT_work
cp -u -f *_*.* MTT_work
cd MTT_work
Directory=$directory/MTT_work
mtt -u -q $mtt_switches -S $Directory $1 $2 $3 $4
if [ "$3" != "view" ]; then
cp -f $1_$2.$3 ..
fi
|
|
|
747
748
749
750
751
752
753
754
755
756
757
758
759
760
761
|
fi
exit
fi
# Tidy mode - operate in the directory MTT-work
if [ "$tidy" = "tidy" ]; then
mkdir -p MTT_work
cp -u *_*.* MTT_work 2>/dev/null
cd MTT_work
Directory=$directory/MTT_work
mtt -u -q $mtt_switches -S $Directory $1 $2 $3 $4
if [ "$3" != "view" ]; then
cp -f $1_$2.$3 ..
fi
|