[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [PATCH] master: Doxygen generation broken
From: |
Akim Demaille |
Subject: |
Re: [PATCH] master: Doxygen generation broken |
Date: |
Sun, 1 Apr 2012 15:18:51 +0200 |
Le 1 avr. 2012 à 14:35, Akim Demaille a écrit :
> hi Stefano,
>
> I installed this.
And then this.
From 45d4c012d3dab39a65ea71dee825d1146e0ac4a7 Mon Sep 17 00:00:00 2001
From: Akim Demaille <address@hidden>
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 b859c4b..9d913ee 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
## ---------------- ##
--
1.7.9.5
- Re: [PATCH] master: Doxygen generation broken, Akim Demaille, 2012/04/01
- Re: [PATCH] master: Doxygen generation broken, Akim Demaille, 2012/04/01
- Re: [PATCH] master: Doxygen generation broken,
Akim Demaille <=
- Re: [PATCH] master: Doxygen generation broken, Stefano Lattarini, 2012/04/01
- Re: [PATCH] master: Doxygen generation broken, Akim Demaille, 2012/04/02
- Re: [PATCH] master: Doxygen generation broken, Stefano Lattarini, 2012/04/02
- Re: [PATCH] master: Doxygen generation broken, Akim Demaille, 2012/04/02
- Re: [PATCH] master: Doxygen generation broken, Stefano Lattarini, 2012/04/02
- Re: [PATCH] master: Doxygen generation broken, Akim Demaille, 2012/04/02