diff options
Diffstat (limited to '.gitignore')
| -rw-r--r-- | .gitignore | 11 |
1 files changed, 11 insertions, 0 deletions
@@ -17,3 +17,14 @@ # Scope captures: the .json IS the measurement and stays tracked. The .png is a # 1.1 MB screenshot of that same JSON and is referenced by nothing. /captures/*.png + +# Vendor and standards-body documents under /cpu-docs/. 121 MB of PDFs that are +# not ours, and by the /zig-pkg/ rule above they do not belong in this history: +# cpu-docs/manifests/ records every source URL with a sha256, byte count and page +# count, so a re-fetch is one command away and a drifted document is detectable. +# The manifests and the index ARE the archive as far as this history is concerned, +# the same way /captures/ tracks the .json measurement and not the .png. +# The small text sources (.rst/.html/.md) stay tracked: those are the documents +# Espressif publishes in no other form, so there is no PDF to re-fetch instead. +/cpu-docs/**/*.pdf +/cpu-docs/**/*.zip |