From ac32f6b3e8f8303d41c6b82c9114aae238cdfeb9 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 --- matita/help/C/Makefile | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/matita/help/C/Makefile b/matita/help/C/Makefile index b370567de..5fea4a91d 100644 --- a/matita/help/C/Makefile +++ b/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