Join GitHub today
GitHub is home to over 40 million developers working together to host and review code, manage projects, and build software together.Sign up
docs: de-duplicate HTMLPAGES and PDFPAGES variables #1287
Make use of macro substitution of suffix patterns to reduce duplication
I also verified that the HTMLPAGES and PDFPAGES variables contain the exact same result (but with different extension).
Beautiful diffstat :-)