Page MenuHomeSoftware Heritage

Makefile.local
No OneTemporary

Makefile.local

JAVA_DIR = ../java
sphinx/html: images
# sphinx/clean: clean-images clean-javadoc
sphinx/clean: clean-images
# assets: images javadoc
assets: images
images:
make -C images/
clean-images:
make -C images/ clean
javadoc:
mvn -f $(JAVA_DIR)/pom.xml javadoc:javadoc
clean-javadoc:
mvn -f $(JAVA_DIR)/pom.xml clean
.PHONY: images clean-images javadoc clean-javadoc
# Local Variables:
# mode: makefile
# End:

File Metadata

Mime Type
text/plain
Expires
Mon, Aug 18, 7:11 PM (1 w, 5 d ago)
Storage Engine
blob
Storage Format
Raw Data
Storage Handle
3237913

Event Timeline