share/html/online/ADD_INCLUDE

   1 #!/bin/csh -f
   2
   3 set TOPFILE = include_top.html
   4 set BOTFILE = include_bot.html
   5
   6 if ($#argv >= 1) then
   7   set FILES = $1
   8 else
   9   set FILES = *.html
  10 endif
  11
  12 echo Will process $FILES
  13
  14 foreach file ( $FILES )
  15   if ( ($file != "$TOPFILE") && ($file != "$BOTFILE") ) then
  16     echo Processing $file
  17
  18     grep -v "<\!--I-->" $file >! tmp1
  19
  20     set body = `grep -i "<body" tmp1 | wc -l`
  21
  22     if ($body == 0) then
  23       grep -i "<TITLE>" tmp1 >! tmp
  24       echo "<BODY>" >> tmp
  25       awk '{ printf "<\!--I-->%s\n", $0 }' $TOPFILE >> tmp
  26       grep -v -i "<TITLE>" tmp1 >> tmp
  27       awk '{ printf "<\!--I-->%s\n", $0 }' $BOTFILE >> tmp
  28       echo "</BODY>" >> tmp
  29     else
  30       awk '{ if (($1=="<body>")||($1=="<BODY>")||\
  31                  ($1=="<body" )||($1=="<BODY" )) {\
  32                 printf "<BODY text=\"#243b4a\" BGCOLOR=\"#FFFFFF\">\n";\
  33                 exit;\
  34              } else\
  35                printf "%s\n", $0; }' tmp1 >! tmp
  36
  37       awk '{ printf "<\!--I-->%s\n", $0 }' $TOPFILE >> tmp
  38
  39       awk '{ if (($1=="</body>")||($1=="</BODY>")) exit; \
  40              if (doit==1) printf "%s\n", $0; \
  41              if (($1=="<body>")||($1=="<BODY>")||\
  42                  ($1=="<body" )||($1=="<BODY" )) doit=1; }' tmp1 >> tmp
  43
  44       awk '{ printf "<\!--I-->%s\n", $0 }' $BOTFILE >> tmp
  45
  46       awk '{ if (($1=="</body>")||($1=="</BODY>")) doit=1; \
  47              if (doit==1) printf "%s\n", $0; }' tmp1 >> tmp
  48     endif
  49     \rm tmp1
  50     if ( -f \#$file\# ) \rm \#$file\#
  51     mv $file \#$file\#
  52     mv tmp $file
  53   endif
  54 end
  55
  56 #last line
  57
  58