From 41a35f3c37fd41772ff7ae8aca62d77c4cafcf6c Mon Sep 17 00:00:00 2001
From: Mike Gerwitz <mtg@gnu.org>
Date: Sun, 3 Jun 2018 00:26:25 -0400
Subject: [PATCH] Makefile: Add pdf and dvi targets

---
 Makefile | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/Makefile b/Makefile
index 4f32196..2e19ab0 100644
--- a/Makefile
+++ b/Makefile
@@ -4,6 +4,9 @@
 
 default: cptt.pdf cptt.dvi
 
+pdf: cptt.pdf
+dvi: cptt.dvi
+
 %.pdf: %.tex
 	pdflatex $<
 	pdflatex $<