diff options
| author | erdgeist <erdgeist@erdgeist.org> | 2026-07-22 15:54:24 +0200 |
|---|---|---|
| committer | erdgeist <erdgeist@erdgeist.org> | 2026-07-22 15:54:24 +0200 |
| commit | 53c920f7183a1b7d03b370286bc3b7c1e0d2cf4f (patch) | |
| tree | 09df64f484d0bb56fc8726a76857ca7bcf24dde2 /doc | |
| parent | 5ce37bd5150f23923afc283ad6449be8915bf928 (diff) | |
Historic PDF variant artefacts don't belong in the HISTORY
Diffstat (limited to 'doc')
| -rw-r--r-- | doc/DESIGN_HISTORY.md | 6 |
1 files changed, 1 insertions, 5 deletions
diff --git a/doc/DESIGN_HISTORY.md b/doc/DESIGN_HISTORY.md index 534be44..7f411a3 100644 --- a/doc/DESIGN_HISTORY.md +++ b/doc/DESIGN_HISTORY.md | |||
| @@ -218,11 +218,7 @@ attached images instead. | |||
| 218 | PDFs are headline-eligible because the standard variant set (thumb, | 218 | PDFs are headline-eligible because the standard variant set (thumb, |
| 219 | medium, large, headline) is generated for them as PNG rasters of the | 219 | medium, large, headline) is generated for them as PNG rasters of the |
| 220 | document's first page (ImageMagick with Ghostscript); the original | 220 | document's first page (ImageMagick with Ghostscript); the original |
| 221 | remains the PDF. Variant directories of older PDF assets may still | 221 | remains the PDF. |
| 222 | contain a .pdf beside the .png — residue of the Paperclip era, when | ||
| 223 | variants kept the original's extension. These files are unreferenced | ||
| 224 | and safe to delete; until someone does, the mix is expected, not a | ||
| 225 | bug. | ||
| 226 | 222 | ||
| 227 | Presentation differs by type at the last step only: an image | 223 | Presentation differs by type at the last step only: an image |
| 228 | headline opens in the lightbox, a PDF headline renders as a document | 224 | headline opens in the lightbox, a PDF headline renders as a document |
