summaryrefslogtreecommitdiffstatshomepage
path: root/Makefile
diff options
context:
space:
mode:
Diffstat (limited to 'Makefile')
-rw-r--r--Makefile5
1 files changed, 4 insertions, 1 deletions
diff --git a/Makefile b/Makefile
index 981f8fe5..f2a75b79 100644
--- a/Makefile
+++ b/Makefile
@@ -88,6 +88,9 @@ clean:
cleanlint:
rm -f $(LNS) $(LLNS)
+cleanhtml:
+ rm -f $(HTML) $(GSGMLS)
+
dist: mdocml-$(VERSION).tar.gz
www: all $(HTMLS) $(TEXTS) $(MD5S) $(TARGZS)
@@ -232,7 +235,7 @@ mandoc: $(MAINOBJS) libmdoc.a libman.a
$(CC) $(CFLAGS) -o $@ $(MAINOBJS) libmdoc.a libman.a
.sgml.html:
- #validate $<
+ validate $<
sed -e "s!@VERSION@!$(VERSION)!" -e "s!@VDATE@!$(VDATE)!" $< > $@
.1.1.txt .3.3.txt .7.7.txt: