Simplified the documentation build system by >2000 lines
Part of what made the documentation build system hard to
maintain was that each manual translation used slightly different methods for doing the same thing: Compiling a
manual. Additionally there are many historical left-overs
of which one (the Microsoft HTML Help workshop version)
definitely no was is in use.
After this change the manuals should all build in
more-or-less similar ways and using a smaller number
of unnecessary steps.
Remove commented-out defprops for bessel functions
These were commented out when replacing the simplifiers with
def-simplifier that automatically set the appropriate properties.
These are needed anymore and can be removed since they were commented
out anyway.
I didn't know what Lucas numbers were and the docs didn't really help
except that Maxima can compute them. So add a sentence to the docs to
give the recursive definition for the Lucas numbers.
Also add some comments in combin.lisp for the functions that compute
the Lucas numbers. Add one for the Fibonacci numbers as well.
Finally, neatly indent some of the code for these functions.
Otherwise, no functional changes.
Remove old simplifier code that wasw replaced by def-simplifier
No functional changes; just reducing clutter in the sources. The
def-simplifiers have been in place for quite a while now without
issues, so no reason to keep the originals around.