From 87e6d59228acbf7b5f4821a70f61d35b75950a84 Mon Sep 17 00:00:00 2001 From: Rodolphe Quiedeville Date: Mon, 7 Jul 2003 11:32:16 +0000 Subject: [PATCH] nouvelle version --- doc/dev/Makefile | 7 ++++--- 1 file changed, 4 insertions(+), 3 deletions(-) diff --git a/doc/dev/Makefile b/doc/dev/Makefile index 8fd844848e7..b560b5545dd 100644 --- a/doc/dev/Makefile +++ b/doc/dev/Makefile @@ -22,6 +22,7 @@ DEBIANDOC2PS= debiandoc2ps DEBIANDOC2PDF= debiandoc2pdf DEBIANDOC2HTML= debiandoc2html DEBIANDOC2LATEX= debiandoc2latex +DEBIANDOC2TEXT= debiandoc2text OPTIONS=-v -lfr_FR.ISO8859-1 -pa4 HOPTIONS=-lfr_FR.ISO8859-1 @@ -41,10 +42,10 @@ all: $(DOC).pdf $(DOC).html %.ps: %.sgml $(FRPAGES) $(DEBIANDOC2PS) $(OPTIONS) $< -%.pdf: $(FRPAGES) - $(DEBIANDOC2PDF) $(OPTIONS) $< +$(DOC).pdf: $(FRPAGES) + $(DEBIANDOC2PDF) $(OPTIONS) $(DOC).sgml -%.html: $(FRPAGES) +$(DOC).html: $(FRPAGES) $(DEBIANDOC2HTML) $(HOPTIONS) $< put: