From 45d4c012d3dab39a65ea71dee825d1146e0ac4a7 Mon Sep 17 00:00:00 2001
From: Akim Demaille <akim@lrde.epita.fr>
Date: Sun, 1 Apr 2012 15:09:54 +0200
Subject: [PATCH] build: fix distcheck issues.

For some reason it seems that texi2dvi -o no longer forces --clean
mode, so we have stray TeX compilation files staying in top_builddir
since TeX is run from there.

While at it, upgrade the generation of the (completely obsolete)
reference card.  Target PDF.

* doc/local.mk (TEXI2DVI): Pass --build-dir.
(CLEANDIRS): More accurate.
(doc/refcard.dvi): Replace with...
(doc/refcard.pdf): this.
Adjust dependencies.
---
 doc/local.mk | 10 +++++-----
 1 file changed, 5 insertions(+), 5 deletions(-)

diff --git a/doc/local.mk b/doc/local.mk
index b859c4b3..9d913ee7 100644
--- a/doc/local.mk
+++ b/doc/local.mk
@@ -21,7 +21,8 @@ doc_bison_TEXINFOS =                            \
   doc/gpl-3.0.texi
 
 CLEANFILES = doc/bison.fns
-CLEANDIRS = doc/*.t2d
+TEXI2DVI = texi2dvi --build-dir=doc/bison.t2d
+CLEANDIRS = doc/bison.t2d
 clean-local:
 	rm -rf $(CLEANDIRS)
 
@@ -46,12 +47,11 @@ MAINTAINERCLEANFILES = $(CROSS_OPTIONS_TEXI)
 ## ---------- ##
 
 EXTRA_DIST += doc/refcard.tex
-CLEANFILES += doc/refcard.dvi doc/refcard.log doc/refcard.ps
+CLEANFILES += doc/refcard.pdf
 
-doc/refcard.dvi: doc/refcard.tex
-	$(AM_V_GEN)cd doc && tex refcard.tex
+doc/refcard.pdf: doc/refcard.tex
+	$(AM_V_GEN) cd doc && pdftex $(abs_top_srcdir)/doc/refcard.tex
 
-doc/refcard.ps: doc/refcard.dvi
 
 
 ## ---------------- ##
-- 
2.45.2