From b323900d936236880d6999cdf79f112885af1bb4 Mon Sep 17 00:00:00 2001
From: Hong Xu <hong@topbug.net>
Date: Sat, 2 Jan 2016 13:55:37 -0800
Subject: [PATCH] Specify a default format (pdf) in the LaTeX output Makefile

---
 sphinx/texinputs/Makefile | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/sphinx/texinputs/Makefile b/sphinx/texinputs/Makefile
index 5e6030c0d..71cc69f48 100644
--- a/sphinx/texinputs/Makefile
+++ b/sphinx/texinputs/Makefile
@@ -8,6 +8,8 @@ ALLDVI = $(addsuffix .dvi,$(ALLDOCS))
 ARCHIVEPRREFIX =
 # Additional LaTeX options
 LATEXOPTS =
+# format: pdf or dvi
+FMT = pdf
 
 LATEX = latex
 PDFLATEX = pdflatex