I added a new target to plucker/viewer/xlit/Makefile.in : "docs". This
generates html documents that give a quick reference to each
transliteration. One can then generate PluckerDocs from that (though the
Makefile doesn't) for quick reference. I wonder if we should do that and
include them, or if we should include the html output in an appendix to the
manual, or what. Any thoughts?
Alex
--
Dr. Alexander R. Pruss
Department of Philosophy
Georgetown University
Washington, DC 20057-1133 U.S.A.
e-mail: [EMAIL PROTECTED]
online papers and home page: www.georgetown.edu/faculty/ap85
--------------------------------------------------------------------------
"Philosophiam discimus non ut tantum sciamus, sed ut boni efficiamur."
- Paul of Worczyn (1424)
_______________________________________________
plucker-dev mailing list
[EMAIL PROTECTED]
http://lists.rubberchicken.org/mailman/listinfo/plucker-dev
