If I'm reading the Makefile correctly, current HEAD no longer updates the
manual/ directory if it exists, unlike 1.3.  What good is a downlevel manual?

Greg

Reply via email to