After compiling the html the Makefile calls the script fix-urls.sed, which fixes some but not all of the resulting bad links in the html. I'll see about expanding that script, or adding another one or whatever, to fix the remaining problems.
After compiling the html the Makefile calls the script fix-urls.sed, which fixes some but not all of the resulting bad links in the html. I'll see about expanding that script, or adding another one or whatever, to fix the remaining problems.