Commit da1d189b authored by Kim Nguyễn's avatar Kim Nguyễn
Browse files

Add a rule to clean the generated documentation.

parent 9434c342
......@@ -322,7 +322,7 @@ $(LIBRARY_CMI): cduce_lib.cmi
$(LIBRARY_CMO): cduce_lib.cmo
$(LIBRARY_CMX): cduce_lib.cmx
clean: clean_doc
@echo "Cleaning"
$(HIDE) rm -f $(ALL_OBJECTS) $(ALL_OBJECTS:.cmo=.cmx) $(ALL_OBJECTS:.cmo=.cmi) $(ALL_OBJECTS:.cmo=.o) \* cduce_lib.[oa] $(PP_SOURCES) \
......@@ -350,9 +350,14 @@ install_lib: $(LIBRARIES)
doc: cduce web/site.cdo
@echo "Building documentation"
mkdir -p web/doc
(cd web; ../cduce --run site.cdo --arg doc.xml -o doc)
@echo "Cleaning documentation"
$(HIDE)rm -rf web/doc web/*.cdo
web/site.cdo: cduce web/xhtml.cdo web/ web/
./cduce -I web/ --compile web/
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment