deploy: 6913a1a

HoTT · Jan 9, 2024 · f492131 · f492131
commit f492131
Show file tree

Hide file tree

Showing 11 changed files with 5 additions and 0 deletions.
diff --git a/.nojekyll b/.nojekyll
diff --git a/errata-7-g6913a1a.pdf b/errata-7-g6913a1a.pdf
diff --git a/errata.pdf.html b/errata.pdf.html
@@ -0,0 +1 @@
+<!doctype html><title>errata-7-g6913a1a.pdf</title><meta http-equiv=refresh content="0; url=errata-7-g6913a1a.pdf">
diff --git a/hott-a4-7-g6913a1a.pdf b/hott-a4-7-g6913a1a.pdf
diff --git a/hott-a4.pdf.html b/hott-a4.pdf.html
@@ -0,0 +1 @@
+<!doctype html><title>hott-a4-7-g6913a1a.pdf</title><meta http-equiv=refresh content="0; url=hott-a4-7-g6913a1a.pdf">
diff --git a/hott-ebook-7-g6913a1a.pdf b/hott-ebook-7-g6913a1a.pdf
diff --git a/hott-ebook.pdf.html b/hott-ebook.pdf.html
@@ -0,0 +1 @@
+<!doctype html><title>hott-ebook-7-g6913a1a.pdf</title><meta http-equiv=refresh content="0; url=hott-ebook-7-g6913a1a.pdf">
diff --git a/hott-letter-7-g6913a1a.pdf b/hott-letter-7-g6913a1a.pdf
diff --git a/hott-letter.pdf.html b/hott-letter.pdf.html
@@ -0,0 +1 @@
+<!doctype html><title>hott-letter-7-g6913a1a.pdf</title><meta http-equiv=refresh content="0; url=hott-letter-7-g6913a1a.pdf">
diff --git a/hott-online-7-g6913a1a.pdf b/hott-online-7-g6913a1a.pdf
diff --git a/hott-online.pdf.html b/hott-online.pdf.html
@@ -0,0 +1 @@
+<!doctype html><title>hott-online-7-g6913a1a.pdf</title><meta http-equiv=refresh content="0; url=hott-online-7-g6913a1a.pdf">