[Axiom-developer] boxup script

[Gabriel Dos Reis]

The script src/scripts/boxup reads:

   [21:30]% cat axiom.silver/src/scripts/boxup
   cp /usr/local/bin/boxhead $1.pamphlet
   cat $1 >>$1.pamphlet
   cat /usr/local/bin/boxtail >>$1.pamphlet
   mv $1 $1.org
   document $1
   echo diffing $1 $1.org
   diff $1 $1.org
   rm -f $1.dvi
   echo if files do not differ it is safe to rm $1 $1.org

Given the current makefiles, there is no way a "normal" install of
Axiom will put the files named boxhead and boxtail in /usr/local/bin.
I must therefore assume that that script has not been run recently.
Furthemore, boxhead and boxtail really are not scripts; there are
LaTeX fragments.  Their logical directory should be something like a
"share" directory.

I'll implement that -- unless people believe that boxup and friends
may just disappear...

-- Gaby