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
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