From 4690d75a51104328c812b692e9fe98df2a22c565 Mon Sep 17 00:00:00 2001 From: Stefano Zacchiroli Date: Wed, 7 Jun 2006 16:38:34 +0000 Subject: [PATCH] added "dumb" test target --- helm/software/matita/help/C/Makefile | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/helm/software/matita/help/C/Makefile b/helm/software/matita/help/C/Makefile index b370567de..5fea4a91d 100644 --- a/helm/software/matita/help/C/Makefile +++ b/helm/software/matita/help/C/Makefile @@ -16,6 +16,10 @@ clean: rm -f matita.out matita.log matita.glo matita.dvi matita.idx rm -f matita.aux matita.tex +# test (dumb implementation) +test: + SP_ENCODING=UTF-8 docbook2txt matita.xml + # XHTMLs generation .PHONY: html -- 2.39.2