I'll fix the duplicate line. Thanks for the bug report.
Any path that is convenient for reporting bugs is ok.
re: diagrams.
The diagrams in the Axiom pdf use .eps (which is
encapsulated postscript, i.e. postscript with size info).
The eps files live in books/ps with the convention that
books/ps/v103*
are images in volume 10.3. Your images are
books/ps/v103permgrpxx.eps
where xx is a sequential number.
If you tar up the .svg diagrams I can redo the images.
Alternatively, the pamphlet files are just raw latex. If you
cd to the books directory you should be able to just do
gcc -o tanglec tanglec.c
to get the tanglec program. You only need to do this once.
./tanglec bookvolbib.pamphlet axiom.bib >axiom.bib
latex bookvol10.3.pamphlet
makeindex bookvol10.3.idx
bibtex bookvol10.3.aux
latex bookvol10.3.pamphlet
latex bookvol10.3.pamphlet
dvipdfm bookvol10.3.dvi
evince bookvol10.3.pdf
Open a shell to run the above commands in a bash script.
If you leave the pdf viewer running it will update automatically
every time you remake the file. So you get a "hot loop' where
you change the pamphlet file, run the bash script, and see the
result immediately.
When you are happy with the changes you can do
git diff books/bookvol10.3.pamphlet >patchfile
and send me the patch file.
Tim
re: too much information
The target audience is students. I'm about to be a visiting