Remove all-<format> targets in favor of just <format>.

Fix some comments.

For lib.pdf, run tools/toc2bkm.py to get "bookmarks" in acroread.
1 file changed