PATCH: wwwdocs/bin/preprocess -- process single files

[Gerald Pfeifer <pfeifer at dbai dot tuwien dot ac dot at>]

This is necessary for the integration with CVS:

  In addition to always processing a full tree, allow filenames to be
  passed via the command line.

Installed.

Gerald

Index: preprocess
===================================================================
RCS file: /cvs/gcc/wwwdocs/bin/preprocess,v
retrieving revision 1.6
diff -c -3 -p -r1.6 preprocess
*** preprocess	2000/02/04 19:30:00	1.6
--- preprocess	2000/02/06 21:57:33
***************
*** 1,10 ****
  #!/bin/sh
  #
  # This script takes a directory tree containing web pages (i.e., HTML,
! # JPEG,... files) and copies it into another tree.
  #
  # HTML files are processed by means of MetaHTML, binary files are just
! # copied and GIF files are warned about.
  #
  # By Gerald Pfeifer <pfeifer@dbai.tuwien.ac.at> 1999-12-29.
  
--- 1,12 ----
  #!/bin/sh
  #
  # This script takes a directory tree containing web pages (i.e., HTML,
! # JPEG,... files) and copies it into another tree or generates a new
! # tree.  If filenames are passed on the command-line, only those files
! # are processed.
  #
  # HTML files are processed by means of MetaHTML, binary files are just
! # copied, and GIF files are warned about.
  #
  # By Gerald Pfeifer <pfeifer@dbai.tuwien.ac.at> 1999-12-29.
  
*************** mkdir $TMPDIR
*** 90,95 ****
   
  cd $SOURCETREE
  
! for f in `find . \( -name CVS -prune \) -o -type f` ; do
!     process_file $f
! done
--- 92,103 ----
   
  cd $SOURCETREE
  
! if [ $# -gt 0 ]; then
!     for f in "$@" ; do
!         process_file $f
!     done
! else 
!     for f in `find . \( -name CVS -prune \) -o -type f` ; do
!         process_file $f
!     done
! fi