Quick
index
main
eev
eepitch
maths
angg
blogme
dednat6
littlelangs
PURO
(C2,C3,C4,
 λ,ES,
 GA,MD,
 Caepro,
 textos,
 Chapa 1)

emacs
lua
(la)tex
maxima
 qdraw
git
lean4
agda
forth
squeak
icon
tcl
tikz
fvwm
debian
irc
contact

dednat4: a typical build log

(See: dednat4)

/home/edrx(edrx:de)# cd ~/dednat4/
/home/edrx/dednat4(edrx:de)# make tarball
(TZ=GMT date; date) | tee VERSION
Sat Jul 12 21:54:34 GMT 2008
Sat Jul 12 17:54:34 EDT 2008
tar -cvzf dednat4.tgz $(./.files.sh tarballfiles)
VERSION
TODO
README
README.ee
README.interact
README.phantoms
README.windows
.files.sh
dednat4.el
Makefile
dednat4.lua
edrxlib.lua
experimental.lua
examples/edrx08.sty
examples/edrxdnt.tex
examples/edrxdefs.tex
examples/edrxheadfoot.tex
examples/edrxmain41.tex
examples/edrxmain41a.tex
examples/eedemo1.tex
examples/eedemo2.tex

/home/edrx/dednat4(edrx:de)# mkdir /tmp/dn4/
/home/edrx/dednat4(edrx:de)# cd    /tmp/dn4/
/tmp/dn4(edrx:de)# wget http://angg.twu.net/dednat4/dednat4.tgz
--17:55:10--  http://angg.twu.net/dednat4/dednat4.tgz
           => `dednat4.tgz'
Resolving angg.twu.net... 76.74.253.67
Connecting to angg.twu.net|76.74.253.67|:80... connected.
HTTP request sent, awaiting response... 200 OK
Length: 48,113 (47K) [application/x-gzip]

100%[====================================>] 48,113        16.28K/s             

17:55:13 (16.24 KB/s) - `dednat4.tgz' saved [48113/48113]

/tmp/dn4(edrx:de)# tar -xvzf dednat4.tgz
VERSION
TODO
README
README.ee
README.interact
README.phantoms
README.windows
.files.sh
dednat4.el
Makefile
dednat4.lua
edrxlib.lua
experimental.lua
examples/edrx08.sty
examples/edrxdnt.tex
examples/edrxdefs.tex
examples/edrxheadfoot.tex
examples/edrxmain41.tex
examples/edrxmain41a.tex
examples/eedemo1.tex
examples/eedemo2.tex

/tmp/dn4(edrx:de)# make
Usage:
  make demo1    - builds everything and LaTeXes a demo file
  make dednat4  - builds ./lua51 and the standalone-ish script
  make ./lua51  - downloads the lua source and builds it
Notes:
  On some platforms lua51 needs libreadline-dev to build.
  The makefile calls "unzip" to extract a file from diagxy.zip.
  On MacOSX, add a "LUAOS=macosx" parameter:
    make LUAOS=macosx demo1
  I add the parameter "S=/home/edrx/snarf" to make the downloads
    be put in my standard "snarf directory", but you probably
    don't have something like that - it's an eev-ism.
    By default all downloads (the source for lua-5.1.3, and four
    TeX packages) are put in ./snarf/ftp/ and ./snarf/http/.
  The demos need latex, xypic, and stmaryrd.sty.

/tmp/dn4(edrx:de)# make dednat4
mkdir -p snarf/http/www.lua.org/ftp/
cd       snarf/http/www.lua.org/ftp/ && \
	wget  http://www.lua.org/ftp/lua-5.1.3.tar.gz
--17:55:16--  http://www.lua.org/ftp/lua-5.1.3.tar.gz
           => `lua-5.1.3.tar.gz'
Resolving www.lua.org... 87.237.62.181
Connecting to www.lua.org|87.237.62.181|:80... connected.
HTTP request sent, awaiting response... 200 OK
Length: 215,817 (211K) [application/octet-stream]

100%[====================================>] 215,817       16.54K/s    ETA 00:00

17:55:29 (16.46 KB/s) - `lua-5.1.3.tar.gz' saved [215817/215817]

rm -Rfv /tmp/dn4/usrc/lua-5.1.3/
mkdir -p usrc/
tar   -C usrc/ -xvzf snarf/http/www.lua.org/ftp/lua-5.1.3.tar.gz
lua-5.1.3/
lua-5.1.3/doc/
lua-5.1.3/doc/lua.1
lua-5.1.3/doc/luac.1
lua-5.1.3/doc/lua.html
lua-5.1.3/doc/readme.html
lua-5.1.3/doc/logo.gif
lua-5.1.3/doc/luac.html
lua-5.1.3/doc/contents.html
lua-5.1.3/doc/manual.html
lua-5.1.3/doc/lua.css
lua-5.1.3/doc/amazon.gif
lua-5.1.3/doc/cover.png
lua-5.1.3/doc/manual.css
lua-5.1.3/etc/
lua-5.1.3/etc/min.c
lua-5.1.3/etc/README
lua-5.1.3/etc/all.c
lua-5.1.3/etc/Makefile
lua-5.1.3/etc/lua.pc
lua-5.1.3/etc/lua.hpp
lua-5.1.3/etc/strict.lua
lua-5.1.3/etc/noparser.c
lua-5.1.3/etc/luavs.bat
lua-5.1.3/etc/lua.ico
lua-5.1.3/Makefile
lua-5.1.3/src/
lua-5.1.3/src/Makefile
lua-5.1.3/src/lapi.c
lua-5.1.3/src/lapi.h
lua-5.1.3/src/lauxlib.c
lua-5.1.3/src/lauxlib.h
lua-5.1.3/src/lbaselib.c
lua-5.1.3/src/lcode.c
lua-5.1.3/src/lcode.h
lua-5.1.3/src/ldblib.c
lua-5.1.3/src/ldebug.c
lua-5.1.3/src/ldebug.h
lua-5.1.3/src/ldo.c
lua-5.1.3/src/ldo.h
lua-5.1.3/src/lfunc.c
lua-5.1.3/src/lfunc.h
lua-5.1.3/src/lgc.c
lua-5.1.3/src/lgc.h
lua-5.1.3/src/linit.c
lua-5.1.3/src/liolib.c
lua-5.1.3/src/llex.c
lua-5.1.3/src/llex.h
lua-5.1.3/src/llimits.h
lua-5.1.3/src/lmathlib.c
lua-5.1.3/src/lmem.c
lua-5.1.3/src/lmem.h
lua-5.1.3/src/loadlib.c
lua-5.1.3/src/lobject.c
lua-5.1.3/src/lobject.h
lua-5.1.3/src/lopcodes.c
lua-5.1.3/src/lopcodes.h
lua-5.1.3/src/loslib.c
lua-5.1.3/src/lparser.c
lua-5.1.3/src/lparser.h
lua-5.1.3/src/lstate.c
lua-5.1.3/src/lstate.h
lua-5.1.3/src/lstring.c
lua-5.1.3/src/lstring.h
lua-5.1.3/src/lstrlib.c
lua-5.1.3/src/ltable.c
lua-5.1.3/src/ltable.h
lua-5.1.3/src/ltablib.c
lua-5.1.3/src/ltm.c
lua-5.1.3/src/ltm.h
lua-5.1.3/src/lua.c
lua-5.1.3/src/lua.h
lua-5.1.3/src/luaconf.h
lua-5.1.3/src/lualib.h
lua-5.1.3/src/lvm.c
lua-5.1.3/src/lvm.h
lua-5.1.3/src/lzio.c
lua-5.1.3/src/lzio.h
lua-5.1.3/src/ldump.c
lua-5.1.3/src/luac.c
lua-5.1.3/src/lundump.c
lua-5.1.3/src/lundump.h
lua-5.1.3/src/print.c
lua-5.1.3/test/
lua-5.1.3/test/echo.lua
lua-5.1.3/test/life.lua
lua-5.1.3/test/fib.lua
lua-5.1.3/test/factorial.lua
lua-5.1.3/test/luac.lua
lua-5.1.3/test/sort.lua
lua-5.1.3/test/hello.lua
lua-5.1.3/test/README
lua-5.1.3/test/bisect.lua
lua-5.1.3/test/cf.lua
lua-5.1.3/test/xd.lua
lua-5.1.3/test/globals.lua
lua-5.1.3/test/trace-globals.lua
lua-5.1.3/test/trace-calls.lua
lua-5.1.3/test/table.lua
lua-5.1.3/test/fibfor.lua
lua-5.1.3/test/printf.lua
lua-5.1.3/test/env.lua
lua-5.1.3/test/sieve.lua
lua-5.1.3/test/readonly.lua
lua-5.1.3/COPYRIGHT
lua-5.1.3/README
lua-5.1.3/INSTALL
lua-5.1.3/HISTORY
cd /tmp/dn4/usrc/lua-5.1.3 && make linux local test
make[1]: Entering directory `/tmp/dn4/usrc/lua-5.1.3'
cd src && make linux
make[2]: Entering directory `/tmp/dn4/usrc/lua-5.1.3/src'
make all MYCFLAGS=-DLUA_USE_LINUX MYLIBS="-Wl,-E -ldl -lreadline -lhistory -lncurses"
make[3]: Entering directory `/tmp/dn4/usrc/lua-5.1.3/src'
gcc -O2 -Wall -DLUA_USE_LINUX   -c -o lapi.o lapi.c
gcc -O2 -Wall -DLUA_USE_LINUX   -c -o lcode.o lcode.c
gcc -O2 -Wall -DLUA_USE_LINUX   -c -o ldebug.o ldebug.c
gcc -O2 -Wall -DLUA_USE_LINUX   -c -o ldo.o ldo.c
gcc -O2 -Wall -DLUA_USE_LINUX   -c -o ldump.o ldump.c
gcc -O2 -Wall -DLUA_USE_LINUX   -c -o lfunc.o lfunc.c
gcc -O2 -Wall -DLUA_USE_LINUX   -c -o lgc.o lgc.c
gcc -O2 -Wall -DLUA_USE_LINUX   -c -o llex.o llex.c
gcc -O2 -Wall -DLUA_USE_LINUX   -c -o lmem.o lmem.c
gcc -O2 -Wall -DLUA_USE_LINUX   -c -o lobject.o lobject.c
gcc -O2 -Wall -DLUA_USE_LINUX   -c -o lopcodes.o lopcodes.c
gcc -O2 -Wall -DLUA_USE_LINUX   -c -o lparser.o lparser.c
gcc -O2 -Wall -DLUA_USE_LINUX   -c -o lstate.o lstate.c
gcc -O2 -Wall -DLUA_USE_LINUX   -c -o lstring.o lstring.c
gcc -O2 -Wall -DLUA_USE_LINUX   -c -o ltable.o ltable.c
gcc -O2 -Wall -DLUA_USE_LINUX   -c -o ltm.o ltm.c
gcc -O2 -Wall -DLUA_USE_LINUX   -c -o lundump.o lundump.c
gcc -O2 -Wall -DLUA_USE_LINUX   -c -o lvm.o lvm.c
gcc -O2 -Wall -DLUA_USE_LINUX   -c -o lzio.o lzio.c
gcc -O2 -Wall -DLUA_USE_LINUX   -c -o lauxlib.o lauxlib.c
gcc -O2 -Wall -DLUA_USE_LINUX   -c -o lbaselib.o lbaselib.c
gcc -O2 -Wall -DLUA_USE_LINUX   -c -o ldblib.o ldblib.c
gcc -O2 -Wall -DLUA_USE_LINUX   -c -o liolib.o liolib.c
gcc -O2 -Wall -DLUA_USE_LINUX   -c -o lmathlib.o lmathlib.c
gcc -O2 -Wall -DLUA_USE_LINUX   -c -o loslib.o loslib.c
gcc -O2 -Wall -DLUA_USE_LINUX   -c -o ltablib.o ltablib.c
gcc -O2 -Wall -DLUA_USE_LINUX   -c -o lstrlib.o lstrlib.c
gcc -O2 -Wall -DLUA_USE_LINUX   -c -o loadlib.o loadlib.c
gcc -O2 -Wall -DLUA_USE_LINUX   -c -o linit.o linit.c
ar rcu liblua.a lapi.o lcode.o ldebug.o ldo.o ldump.o lfunc.o lgc.o llex.o lmem.o lobject.o lopcodes.o lparser.o lstate.o lstring.o ltable.o ltm.o lundump.o lvm.o lzio.o lauxlib.o lbaselib.o ldblib.o liolib.o lmathlib.o loslib.o ltablib.o lstrlib.o loadlib.o linit.o
ranlib liblua.a
gcc -O2 -Wall -DLUA_USE_LINUX   -c -o lua.o lua.c
gcc -o lua  lua.o liblua.a -lm -Wl,-E -ldl -lreadline -lhistory -lncurses
gcc -O2 -Wall -DLUA_USE_LINUX   -c -o luac.o luac.c
gcc -O2 -Wall -DLUA_USE_LINUX   -c -o print.o print.c
gcc -o luac  luac.o print.o liblua.a -lm -Wl,-E -ldl -lreadline -lhistory -lncurses
make[3]: Leaving directory `/tmp/dn4/usrc/lua-5.1.3/src'
make[2]: Leaving directory `/tmp/dn4/usrc/lua-5.1.3/src'
make install INSTALL_TOP=..
make[2]: Entering directory `/tmp/dn4/usrc/lua-5.1.3'
cd src && mkdir -p ../bin ../include ../lib ../man/man1 ../share/lua/5.1 ../lib/lua/5.1
cd src && install -p -m 0755 lua luac ../bin
cd src && install -p -m 0644 lua.h luaconf.h lualib.h lauxlib.h ../etc/lua.hpp ../include
cd src && install -p -m 0644 liblua.a ../lib
cd doc && install -p -m 0644 lua.1 luac.1 ../man/man1
make[2]: Leaving directory `/tmp/dn4/usrc/lua-5.1.3'
src/lua test/hello.lua
Hello world, from Lua 5.1!
make[1]: Leaving directory `/tmp/dn4/usrc/lua-5.1.3'
cp -v /tmp/dn4/usrc/lua-5.1.3/bin/lua ./lua51
`/tmp/dn4/usrc/lua-5.1.3/bin/lua' -> `./lua51'
cat dednat4.lua | { echo "#!/tmp/dn4/lua51"; awk 'NR>1'; } > dednat4
chmod 755 dednat4

/tmp/dn4(edrx:de)# make texfiles
mkdir -p snarf/http/www.math.ucla.edu/~asl/
cd       snarf/http/www.math.ucla.edu/~asl/ && \
	wget  http://www.math.ucla.edu/~asl/bussproofs.sty
--17:55:40--  http://www.math.ucla.edu/~asl/bussproofs.sty
           => `bussproofs.sty'
Resolving www.math.ucla.edu... 128.97.4.251
Connecting to www.math.ucla.edu|128.97.4.251|:80... connected.
HTTP request sent, awaiting response... 200 OK
Length: 27,217 (27K) [text/x-tex]

100%[====================================>] 27,217        15.80K/s             

17:55:42 (15.76 KB/s) - `bussproofs.sty' saved [27217/27217]

mkdir -p snarf/http/www.monad.me.uk/proofs/
cd       snarf/http/www.monad.me.uk/proofs/ && \
	wget  http://www.monad.me.uk/proofs/prooftree.sty
--17:55:42--  http://www.monad.me.uk/proofs/prooftree.sty
           => `prooftree.sty'
Resolving www.monad.me.uk... 194.154.164.100
Connecting to www.monad.me.uk|194.154.164.100|:80... connected.
HTTP request sent, awaiting response... 200 OK
Length: 13,051 (13K) [text/plain]

100%[====================================>] 13,051        13.07K/s             

17:55:44 (13.04 KB/s) - `prooftree.sty' saved [13051/13051]

mkdir -p snarf/http/www.ctan.org/tex-archive/macros/latex/contrib/lkproof/
cd       snarf/http/www.ctan.org/tex-archive/macros/latex/contrib/lkproof/ && \
	wget  http://www.ctan.org/tex-archive/macros/latex/contrib/lkproof/proof.sty
--17:55:44--  http://www.ctan.org/tex-archive/macros/latex/contrib/lkproof/proof.sty
           => `proof.sty'
Resolving www.ctan.org... 192.80.64.33
Connecting to www.ctan.org|192.80.64.33|:80... connected.
HTTP request sent, awaiting response... 200 OK
Length: 7,239 (7.1K) [text/x-tex]

100%[====================================>] 7,239         13.62K/s             

17:55:45 (13.60 KB/s) - `proof.sty' saved [7239/7239]

mkdir -p snarf/ftp/ftp.math.mcgill.ca/pub/barr/
cd       snarf/ftp/ftp.math.mcgill.ca/pub/barr/ && \
	wget  ftp://ftp.math.mcgill.ca/pub/barr/diagxy.zip
--17:55:45--  ftp://ftp.math.mcgill.ca/pub/barr/diagxy.zip
           => `diagxy.zip'
Resolving ftp.math.mcgill.ca... 132.206.150.195
Connecting to ftp.math.mcgill.ca|132.206.150.195|:21... connected.
Logging in as anonymous ... Logged in!
==> SYST ... done.    ==> PWD ... done.
==> TYPE I ... done.  ==> CWD /pub/barr ... done.
==> PASV ... done.    ==> RETR diagxy.zip ... done.
Length: 28,916 (28K) (unauthoritative)

100%[====================================>] 28,916        13.94K/s             

17:55:49 (13.91 KB/s) - `diagxy.zip' saved [28916]

cp -v snarf/http/www.math.ucla.edu/~asl/bussproofs.sty /tmp/dn4/examples
`snarf/http/www.math.ucla.edu/~asl/bussproofs.sty' -> `/tmp/dn4/examples/bussproofs.sty'
cp -v snarf/http/www.ctan.org/tex-archive/macros/latex/contrib/lkproof/proof.sty  /tmp/dn4/examples
`snarf/http/www.ctan.org/tex-archive/macros/latex/contrib/lkproof/proof.sty' -> `/tmp/dn4/examples/proof.sty'
cp -v snarf/http/www.monad.me.uk/proofs/prooftree.sty   /tmp/dn4/examples
`snarf/http/www.monad.me.uk/proofs/prooftree.sty' -> `/tmp/dn4/examples/prooftree.sty'
unzip -o -d /tmp/dn4/examples snarf/ftp/ftp.math.mcgill.ca/pub/barr/diagxy.zip diagxy.tex
Archive:  snarf/ftp/ftp.math.mcgill.ca/pub/barr/diagxy.zip
  inflating: /tmp/dn4/examples/diagxy.tex  

/tmp/dn4(edrx:de)# make demo2
cp -v /tmp/dn4/usrc/lua-5.1.3/bin/lua ./lua51
`/tmp/dn4/usrc/lua-5.1.3/bin/lua' -> `./lua51'
cp -v snarf/http/www.math.ucla.edu/~asl/bussproofs.sty /tmp/dn4/examples
`snarf/http/www.math.ucla.edu/~asl/bussproofs.sty' -> `/tmp/dn4/examples/bussproofs.sty'
cp -v snarf/http/www.ctan.org/tex-archive/macros/latex/contrib/lkproof/proof.sty  /tmp/dn4/examples
`snarf/http/www.ctan.org/tex-archive/macros/latex/contrib/lkproof/proof.sty' -> `/tmp/dn4/examples/proof.sty'
cp -v snarf/http/www.monad.me.uk/proofs/prooftree.sty   /tmp/dn4/examples
`snarf/http/www.monad.me.uk/proofs/prooftree.sty' -> `/tmp/dn4/examples/prooftree.sty'
unzip -o -d /tmp/dn4/examples snarf/ftp/ftp.math.mcgill.ca/pub/barr/diagxy.zip diagxy.tex
Archive:  snarf/ftp/ftp.math.mcgill.ca/pub/barr/diagxy.zip
  inflating: /tmp/dn4/examples/diagxy.tex  
mkdir -p /tmp/dn4/demos
cd /tmp/dn4/demos && /tmp/dn4/.files.sh cpdemos
cp -v /tmp/dn4/examples/edrx08.sty .
`/tmp/dn4/examples/edrx08.sty' -> `./edrx08.sty'
cp -v /tmp/dn4/examples/edrxdnt.tex .
`/tmp/dn4/examples/edrxdnt.tex' -> `./edrxdnt.tex'
cp -v /tmp/dn4/examples/edrxdefs.tex .
`/tmp/dn4/examples/edrxdefs.tex' -> `./edrxdefs.tex'
cp -v /tmp/dn4/examples/edrxheadfoot.tex .
`/tmp/dn4/examples/edrxheadfoot.tex' -> `./edrxheadfoot.tex'
cp -v /tmp/dn4/examples/edrxmain41.tex .
`/tmp/dn4/examples/edrxmain41.tex' -> `./edrxmain41.tex'
cp -v /tmp/dn4/examples/edrxmain41a.tex .
`/tmp/dn4/examples/edrxmain41a.tex' -> `./edrxmain41a.tex'
cp -v /tmp/dn4/examples/eedemo1.tex .
`/tmp/dn4/examples/eedemo1.tex' -> `./eedemo1.tex'
cp -v /tmp/dn4/examples/eedemo2.tex .
`/tmp/dn4/examples/eedemo2.tex' -> `./eedemo2.tex'
cp -v /tmp/dn4/examples/bussproofs.sty .
`/tmp/dn4/examples/bussproofs.sty' -> `./bussproofs.sty'
cp -v /tmp/dn4/examples/prooftree.sty .
`/tmp/dn4/examples/prooftree.sty' -> `./prooftree.sty'
cp -v /tmp/dn4/examples/proof.sty .
`/tmp/dn4/examples/proof.sty' -> `./proof.sty'
cp -v /tmp/dn4/examples/diagxy.tex .
`/tmp/dn4/examples/diagxy.tex' -> `./diagxy.tex'
cd /tmp/dn4/demos && cp -v edrxmain41a.tex tmp.tex
`edrxmain41a.tex' -> `tmp.tex'
cd /tmp/dn4/demos && cp -v eedemo2.tex     ee.tex
`eedemo2.tex' -> `ee.tex'
cd /tmp/dn4/demos && /tmp/dn4/dednat4 tmp.tex
cd /tmp/dn4/demos && latex tmp.tex
This is pdfeTeX, Version 3.141592-1.21a-2.2 (Web2C 7.5.4)
entering extended mode
(./tmp.tex
LaTeX2e <2003/12/01>
Babel <v3.8d> and hyphenation patterns for american, french, german, ngerman, b
ahasa, basque, bulgarian, catalan, croatian, czech, danish, dutch, esperanto, e
stonian, finnish, greek, icelandic, irish, italian, latin, magyar, norsk, polis
h, portuges, romanian, russian, serbian, slovak, slovene, spanish, swedish, tur
kish, ukrainian, nohyphenation, loaded.
(/usr/share/texmf-tetex/tex/latex/base/article.cls
Document Class: article 2004/02/16 v1.4f Standard LaTeX document class
(/usr/share/texmf-tetex/tex/latex/base/size10.clo))
(/usr/share/texmf-tetex/tex/latex/base/inputenc.sty
(/usr/share/texmf-tetex/tex/latex/base/latin1.def))
(/usr/share/texmf-tetex/tex/latex/tools/indentfirst.sty) (./edrx08.sty
(/usr/share/texmf-tetex/tex/latex/amsmath/amsmath.sty
For additional information on amsmath, use the `?' option.
(/usr/share/texmf-tetex/tex/latex/amsmath/amstext.sty
(/usr/share/texmf-tetex/tex/latex/amsmath/amsgen.sty))
(/usr/share/texmf-tetex/tex/latex/amsmath/amsbsy.sty)
(/usr/share/texmf-tetex/tex/latex/amsmath/amsopn.sty))
(/usr/share/texmf-tetex/tex/latex/amsfonts/amsfonts.sty)
(/usr/share/texmf-tetex/tex/latex/amsfonts/amssymb.sty)
(/usr/share/texmf-tetex/tex/latex/jknappen/mathrsfs.sty)
(/usr/share/texmf-tetex/tex/latex/stmaryrd/stmaryrd.sty)
(/usr/share/texmf-tetex/tex/latex/tools/array.sty)
(/usr/share/texmf-tetex/tex/latex/url/url.sty)
(/usr/share/texmf-tetex/tex/latex/graphics/color.sty
(/usr/share/texmf-tetex/tex/latex/graphics/color.cfg)
(/usr/share/texmf-tetex/tex/latex/graphics/dvips.def)
(/usr/share/texmf-tetex/tex/latex/graphics/dvipsnam.def)) (./edrxdnt.tex
(./proof.sty) (./diagxy.tex (/usr/share/texmf-tetex/tex/generic/xypic/xy.tex
Bootstrap'ing: catcodes, docmode,
(/usr/share/texmf-tetex/tex/generic/xypic/xyrecat.tex)
(/usr/share/texmf-tetex/tex/generic/xypic/xyidioms.tex)

 Xy-pic version 3.7 <1999/02/16>
 Copyright (c) 1991-1998 by Kristoffer H. Rose <krisrose@ens-lyon.fr>
 Xy-pic is free software: see the User's Guide for details.

Loading kernel: messages; fonts; allocations: state, direction,
utility macros; pictures: \xy, positions, objects, decorations;
kernel objects: directionals, circles, text; options; algorithms: directions,
edges, connections;  Xy-pic loaded)
(/usr/share/texmf-tetex/tex/generic/xypic/xyarrow.tex
 Xy-pic option: Arrow and Path feature v.3.5 path, \ar, loaded)
(/usr/share/texmf-tetex/tex/generic/xypic/xycurve.tex
 Xy-pic option: Curve and Spline extension v.3.7 curve, circles, loaded)
(/usr/share/texmf-tetex/tex/latex/amsfonts/umsa.fd)
(/usr/share/texmf-tetex/tex/latex/amsfonts/umsb.fd)
(/usr/share/texmf-tetex/tex/latex/jknappen/ursfs.fd)
(/usr/share/texmf-tetex/tex/latex/stmaryrd/ustmry.fd))
(/usr/share/texmf-tetex/tex/generic/xypic/xycurve.tex
 Xy-pic option: Curve and Spline extension v.3.7 not reloaded)) (./edrxdefs.tex
)) (./edrxheadfoot.tex)
No file tmp.aux.
(./tmp.dnt) (./ee.tex [1] [2]) [3] (./tmp.aux) )
Output written on tmp.dvi (3 pages, 22584 bytes).
Transcript written on tmp.log.
cd /tmp/dn4/demos && cp -v tmp.dvi demo2.dvi
`tmp.dvi' -> `demo2.dvi'
cd /tmp/dn4/demos && cp -v tmp.dnt demo2.dnt
`tmp.dnt' -> `demo2.dnt'
ls -l /tmp/dn4/demos/tmp.dvi /tmp/dn4/demos/demo2.dvi
-rw-r--r-- 1 edrx edrx 22584 Jul 12 17:55 /tmp/dn4/demos/demo2.dvi
-rw-r--r-- 1 edrx edrx 22584 Jul 12 17:55 /tmp/dn4/demos/tmp.dvi

/tmp/dn4(edrx:de)#