From 81e1709a0b07def3bae3c3b295658cfe3a568f13 Mon Sep 17 00:00:00 2001
From: June McEnroe <june@causal.agency>
Date: Sat, 27 Jul 2019 16:43:26 -0400
Subject: Move pdf script to Makefile

---
 pdf.sh | 28 ----------------------------
 1 file changed, 28 deletions(-)
 delete mode 100755 pdf.sh

(limited to 'pdf.sh')

diff --git a/pdf.sh b/pdf.sh
deleted file mode 100755
index 90c73de1..00000000
--- a/pdf.sh
+++ /dev/null
@@ -1,28 +0,0 @@
-#!/bin/sh
-set -e -u
-
-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
-
-chmod 444 pdf/*.pdf
-- 
cgit 1.4.1