Warning: this is an htmlized version!
The original is here, and the conversion rules are here. |
#!/bin/bash # This is the file ".files.sh" of dednat4. # See: http://angg.twu.net/dednat4.html # http://angg.twu.net/dednat4/.files.sh # http://angg.twu.net/dednat4/.files.sh.html # Author: Eduardo Ochs <[email protected]> # Version: 2008jul21 # Public domain. # Originally, this was just a script that produced the list of files # that would go in the tarball; but then I noticed that with a few # changes it could also copy or remove the LaTeX files to the test # directories... # (find-eevfile "Makefile" "(TZ=GMT date; date) > VERSION") # (find-dn4ex "") # (find-blogme3file "anggmake.lua") # (find-es "dednat" "tex-src-tgz") # (find-sh "~/dednat4/.files.sh tarballfiles") # (find-angg ".emacs" "dednat4-setup") # (find-dn4sh "./.files.sh") # (find-dn4sh "./.files.sh tarballfiles") # (find-dn4sh "./.files.sh -n rmtexinputs") # (find-dn4sh "./.files.sh -n cpdemos") # (find-dn4sh "./.files.sh -n cptexinputs") # (find-dn4sh "./.files.sh -n rmtexinputs") # (find-sh "rm -Rv /tmp/dt/; mkdir /tmp/dt/") # (find-sh "cd /tmp/dt/ && pwd && ~/dednat4/.files.sh -n cpdemos") # (find-sh "cd /tmp/dt/ && pwd && ~/dednat4/.files.sh cpdemos") # (find-sh "cd /tmp/dt/ && pwd && ~/dednat4/.files.sh -n cptexinputs") # (find-sh "cd /tmp/dt/ && pwd && ~/dednat4/.files.sh cptexinputs") # (find-sh "cd /tmp/dt/ && pwd && ~/dednat4/.files.sh -n rmtexinputs") # (find-sh "cd /tmp/dt/ && pwd && ~/dednat4/.files.sh rmtexinputs") function main () { echo Makefile ;# (find-dn4 "Makefile") echo Makefile.base ;# (find-dn4 "Makefile.base") echo dednat4.lua ;# (find-dn4 "dednat4.lua") echo edrxlib.lua ;# (find-dn4 "edrxlib.lua") echo experimental.lua ;# (find-dn4 "experimental.lua") } function extras () { echo TODO ;# (find-dn4 "TODO") echo README ;# (find-dn4 "README") echo README.ee ;# (find-dn4 "README.ee") echo README.interact ;# (find-dn4 "README.interact") echo README.phantoms ;# (find-dn4 "README.phantoms") echo README.windows ;# (find-dn4 "README.windows") echo .files.sh ;# (find-dn4 ".files.sh") echo dednat4.el ;# (find-dn4 "dednat4.el") } function texedrx () { echo examples/edrx08.sty ;# (find-dn4 "examples/edrx08.sty") echo examples/edrxdnt.tex ;# (find-dn4 "examples/edrxdnt.tex") echo examples/edrxdefs.tex ;# (find-dn4 "examples/edrxdefs.tex") echo examples/edrxheadfoot.tex ;# (find-dn4 "examples/edrxheadfoot.tex") echo examples/edrxmain41.tex ;# (find-dn4 "examples/edrxmain41.tex") echo examples/edrxmain41a.tex ;# (find-dn4 "examples/edrxmain41a.tex") } function texdemos () { echo examples/eedemo1.tex ;# (find-dn4 "examples/eedemo1.tex") echo examples/eedemo2.tex ;# (find-dn4 "examples/eedemo2.tex") } function texother () { echo examples/bussproofs.sty echo examples/prooftree.sty echo examples/proof.sty echo examples/diagxy.tex } function basenames () { for i in $(cat); do basename $i; done; } function prepends () { for i in $(cat); do echo $(dirname $0)/$i; done; } function run () { echo $1; if [ "$DUMMY" == "no" ]; then eval $1; fi; } function cps () { for i in $(prepends); do run "cp -v $i ."; done; } function cpss () { for i in $(prepends); do run "cp -sv $i ."; done; } function rms () { for i in $(basenames); do run "rm -v $i"; done; } function tarballfiles () { echo VERSION; extras; main; texedrx; texdemos; } function cpdemos () { { texedrx; texdemos; texother; } | cps; } function rmdemos () { { texedrx; texdemos; texother; } | rms; } function cptexinputs () { texedrx | cpss; texother | cps; } function rmtexinputs () { { texedrx; texother; } | rms; } DUMMY=no if [ "$1" == "-n" ]; then # Inspired by: (find-node "(make)Echoing") echo "# dummy mode, not executing" DUMMY=yes shift fi if [ "$1" == "" ]; then echo "Usage: $0 [-n] cpdemos|rmdemos|cptexinputs|rmtexinputs|tarballfiles" echo "With '-n' just print the 'cp' and 'rm' commands, do not execute them." echo " cptexinputs: copy some LaTeX files to the current directory." echo " rmtexinputs: remove those files." echo " cpdemos: copy some LaTeX files (for demos) to the current dir." echo " rmdemos: remove those files." echo " tarballfiles: list the files that should go in the tarball." else $* fi