HTML modifications to create a slightly improved pdf version of the Lamp book

5470fae1 · Miguel Angel Gonzalez · 9a0fe642 · 5470fae1 · 5470fae1
Commit 5470fae1 authored Dec 06, 2021 by Miguel Angel Gonzalez
--- a/manual/The-Lamp-Book.pdf
+++ b/manual/The-Lamp-Book.pdf
--- a/manual/print.htm
+++ b/manual/print.htm