[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[Axiom-developer] boxup script
From: |
Gabriel Dos Reis |
Subject: |
[Axiom-developer] boxup script |
Date: |
09 Aug 2006 04:34:46 +0200 |
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
- [Axiom-developer] boxup script,
Gabriel Dos Reis <=