diff options
Diffstat (limited to 'requirements/resource_management/Makefile')
| -rw-r--r-- | requirements/resource_management/Makefile | 18 |
1 files changed, 0 insertions, 18 deletions
diff --git a/requirements/resource_management/Makefile b/requirements/resource_management/Makefile deleted file mode 100644 index dbf00e2..0000000 --- a/requirements/resource_management/Makefile +++ /dev/null @@ -1,18 +0,0 @@ -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' |