# diff_and_build --- phantom script to perform the diff operation and build

   declare _search_rule = "^int,^var,&,=lbin=/&,=bin=/&"
   declare home = [cd -p | quote]
   declare builder = [login_name]

   echo "Start of diff operation at "[time]", with "[ctime] | mail [builder]
   dodiff
   echo "End of diff operation at "[time]", "[ctime] used so far | mail [builder]

   echo "Start of clean operation at "[time]", with "[ctime] | mail [builder]
   clean_diff
   echo "End of clean operation at "[time]", "[ctime] used so far | mail [builder]

   cd =doc=/build
   echo "Start of Reference Manual rebuild at "[time]", with "[ctime] | mail [builder]
   shtrace ex
   man -p
   shtrace
   echo "End of Reference Manual rebuild at "[time]", used "[ctime] | mail [builder]

   como o_guide
   shtrace ex
   echo "Start of Guide rebuild at "[time]", with "[ctime] | mail [builder]
   guide -p
   echo "End of Guide rebuild at "[time]", used "[ctime] | mail [builder]
   shtrace
   x time
   x date
   cd [home]
   como
