Add pdf script

2 files changed, 23 insertions, 0 deletions

diff --git a/.gitignore b/.gitignore
new file mode 100644
index 00000000..da0de7e0
--- /dev/null
+++ b/.gitignore
@@ -0,0 +1 @@
+pdf
diff --git a/pdf.zsh b/pdf.zsh
new file mode 100755
index 00000000..81e3f706
--- /dev/null
+++ b/pdf.zsh
@@ -0,0 +1,22 @@
+#!/usr/bin/env zsh
+set -o errexit -o nounset -o pipefail
+
+mkdir -p pdf
+
+fetch() {
+    [ -f "pdf/$1" ] && return
+    curl --silent --show-error --output "pdf/$1" "$2"
+    echo "pdf/$1"
+}
+
+elf() { fetch "$1" "http://refspecs.linuxbase.org/elf/$2" }
+intel() { fetch "$1" "https://software.intel.com/sites/default/files/managed/$2" }
+
+elf abi.pdf x86_64-abi-0.99.pdf
+elf elf.pdf elf.pdf
+fetch multiboot.pdf 'https://www.gnu.org/software/grub/manual/multiboot/multiboot.pdf'
+intel intel-64-opt.pdf 9e/bc/64-ia-32-architectures-optimization-manual.pdf
+intel intel-64-sdm-vol-1.pdf a4/60/253665-sdm-vol-1.pdf
+intel intel-64-sdm-vol-2.pdf a4/60/325383-sdm-vol-2abcd.pdf
+intel intel-64-sdm-vol-3.pdf a4/60/325384-sdm-vol-3abcd.pdf
+intel intel-64-sdm-vol-4.pdf 22/0d/335592-sdm-vol-4.pdf