!=======================================================================
! Weave foo.web to produce foo.tex.  Two change files are possible, the
! normal   one,    foo.tops20-changes,    and    an    alternate    one,
! foo.tops20-changes-xxx, where "-xxx"  is specified as  a parameter  to
! this procedure.
!
! Usage:
!	@DO --WEAVE foo		! normal version
!	@DO --WEAVE foo,-BIG	! big version
!
! [14-Aug-86]
!=======================================================================


! First make the bare version with no change file

@tex:weave
*'a.web
*nul:'a.tops20-changes'b
*'a.tex
@tex:tex 'a.tex

@set file generation-retention-count 'a.tex.*,'a.dvi.*,'a.dvi-alw.* 2

! Next make the full version with the change file

@tex:weave
*'a.web
*'a.tops20-changes'b
*'a.tex
@tex:tex 'a.tex