Revised some targets to make better use of make "special" variables, to avoid

repeating file names.

Change lib.texi target to not overwrite the input file; work on a copy.