diff options
Diffstat (limited to 'requirements/resource_management/Makefile')
| -rw-r--r-- | requirements/resource_management/Makefile | 18 |
1 files changed, 18 insertions, 0 deletions
diff --git a/requirements/resource_management/Makefile b/requirements/resource_management/Makefile new file mode 100644 index 0000000..dbf00e2 --- /dev/null +++ b/requirements/resource_management/Makefile @@ -0,0 +1,18 @@ +BUILDDIR = build + +.PHONY: clean html pdf all + +all: html pdf + +clean: + rm -rf $(BUILDDIR)/* plantuml.jar + +html: plantuml.jar + sphinx-build -b html -d $(BUILDDIR)/doctrees . $(BUILDDIR)/html + +pdf: plantuml.jar + sphinx-build -b latex -d $(BUILDDIR)/doctrees . $(BUILDDIR)/latex + $(MAKE) -C $(BUILDDIR)/latex all-pdf + +plantuml.jar: + wget 'http://downloads.sourceforge.net/project/plantuml/plantuml.jar' |