From 452810024831bca02b144db92a001ebb1de91d0a Mon Sep 17 00:00:00 2001 From: Tony Garnock-Jones Date: Sat, 18 Jun 2022 21:51:09 +0200 Subject: [PATCH] Update PDF generation --- .gitignore | 4 +++- Makefile | 4 ++-- preserves.css | 1 - preserves.md | 2 -- 4 files changed, 5 insertions(+), 6 deletions(-) diff --git a/.gitignore b/.gitignore index e76fd1d..1fc3cf7 100644 --- a/.gitignore +++ b/.gitignore @@ -1,4 +1,6 @@ _site/ -preserves.pdf +preserves-binary.pdf preserves-schema.pdf +preserves-text.pdf +preserves.pdf scratch/ diff --git a/Makefile b/Makefile index 2d0bd74..5f8abc8 100644 --- a/Makefile +++ b/Makefile @@ -1,6 +1,6 @@ __ignored__ := $(shell ./setup.sh) -PDFS=preserves.pdf preserves-schema.pdf +PDFS=preserves.pdf preserves-text.pdf preserves-binary.pdf preserves-schema.pdf all: $(PDFS) @@ -9,7 +9,7 @@ clean: %.pdf: %.md preserves.css google-chrome --headless --disable-gpu --print-to-pdf=$@ \ - http://localhost:4000/preserves/$*.html + http://localhost:4000/$*.html test-all: make -C tests diff --git a/preserves.css b/preserves.css index 1b917ea..293099d 100644 --- a/preserves.css +++ b/preserves.css @@ -15,7 +15,6 @@ body { @page { size: letter; margin: 4rem 0rem 4.333rem 0rem; } body { margin-left: 4.5rem; margin-right: 4.5rem; font-size: 10.5pt; } h1, h2 { page-break-before: always; margin-top: 0; } - h1:first-of-type, h2:first-of-type { page-break-before: auto; } hr+* { page-break-before: always; margin-top: 0; } hr { display: none; } } diff --git a/preserves.md b/preserves.md index 3132d96..411d0b7 100644 --- a/preserves.md +++ b/preserves.md @@ -273,8 +273,6 @@ encodes to For more detail on Racket's representations of record labels, see [the Racket documentation for `make-prefab-struct`](http://docs.racket-lang.org/reference/structutils.html#%28def._%28%28quote._~23~25kernel%29._make-prefab-struct%29%29). ---- - ### JSON examples. Preserves text syntax is a superset of JSON, so the examples from [RFC