From f337ba0943c7a3cf543a5e3059cefd37e749a9c4 Mon Sep 17 00:00:00 2001
From: Jacob Mischka <jacob@mischka.me>
Date: Mon, 3 Aug 2020 13:36:55 -0500
Subject: [PATCH] Add PDF metadata

---
 src/thesis.tex | 8 +++++++-
 1 file changed, 7 insertions(+), 1 deletion(-)

diff --git a/src/thesis.tex b/src/thesis.tex
index 822183e..db7b05d 100644
--- a/src/thesis.tex
+++ b/src/thesis.tex
@@ -1,6 +1,12 @@
 \documentclass[12pt]{report}
 \usepackage{uwmthesis}
-\usepackage[colorlinks=true]{hyperref}
+\usepackage[
+	pdftex,
+	pdfusetitle,
+	pdfsubject={WebAssembly},
+	pdfkeywords={WebAssembly, proof mechanization},
+	colorlinks=true
+]{hyperref}
 \usepackage{stmaryrd}
 \usepackage[T1]{fontenc}