From 2de03f307c0f6eca07b63cf7496497610ae6b14c Mon Sep 17 00:00:00 2001 From: Chris PeBenito Date: Wed, 18 Jan 2006 22:30:01 +0000 Subject: [PATCH] give info message for make html --- refpolicy/Makefile | 1 + 1 file changed, 1 insertion(+) diff --git a/refpolicy/Makefile b/refpolicy/Makefile index f3113363..146204f5 100644 --- a/refpolicy/Makefile +++ b/refpolicy/Makefile @@ -233,6 +233,7 @@ $(POLXML): $(DETECTED_MODS:.te=.if) $(foreach dir,$(ALL_LAYERS),$(dir)/$(LAYERXM fi html: $(POLXML) + @echo "Building html interface reference documentation in $(HTMLDIR)" @mkdir -p $(HTMLDIR) $(QUIET) cd $(DOCS) && ../$(GENDOC) -d ../$(HTMLDIR) -T ../$(DOCTEMPLATE) -x ../$(POLXML) $(QUIET) cp $(DOCTEMPLATE)/*.css $(HTMLDIR)