From 4cdb04b14adfb3464b7d92147cbc22c72ca0a9a8 Mon Sep 17 00:00:00 2001 From: Virgile Prevosto <virgile.prevosto@m4x.org> Date: Thu, 20 Apr 2017 10:50:48 +0200 Subject: [PATCH] create manuals dir if it does not exist --- src/plugins/e-acsl/.gitignore | 1 + src/plugins/e-acsl/doc/refman/Makefile | 1 + src/plugins/e-acsl/doc/userman/Makefile | 1 + 3 files changed, 3 insertions(+) diff --git a/src/plugins/e-acsl/.gitignore b/src/plugins/e-acsl/.gitignore index 6e2bb962d2c..aab26d649b8 100644 --- a/src/plugins/e-acsl/.gitignore +++ b/src/plugins/e-acsl/.gitignore @@ -18,6 +18,7 @@ /share/e-acsl/*.cm* /share/e-acsl/*.annot /share/e-acsl/*_DEP +/doc/manuals /doc/code /doc/refman/*.out /doc/refman/*.bbl diff --git a/src/plugins/e-acsl/doc/refman/Makefile b/src/plugins/e-acsl/doc/refman/Makefile index ae75562668d..cc121c29657 100644 --- a/src/plugins/e-acsl/doc/refman/Makefile +++ b/src/plugins/e-acsl/doc/refman/Makefile @@ -45,6 +45,7 @@ $(MAIN).pdf: $(DEPS_MODERN) EACSL_DIR=../.. DISTRIB_DIR=$(HOME)/frama-c/doc/www/distrib install: e-acsl-implementation.pdf e-acsl.pdf + mkdir -p $(EACSL_DIR)/doc/manuals cp -f $^ $(EACSL_DIR)/doc/manuals include $(EACSL_DIR)/doc/support/MakeLaTeXModern diff --git a/src/plugins/e-acsl/doc/userman/Makefile b/src/plugins/e-acsl/doc/userman/Makefile index 2855dee8cda..c57604ecb34 100644 --- a/src/plugins/e-acsl/doc/userman/Makefile +++ b/src/plugins/e-acsl/doc/userman/Makefile @@ -20,6 +20,7 @@ main.pdf: $(DEPS_MODERN) EACSL_DIR=../.. DISTRIB_DIR=$(HOME)/frama-c/doc/www/distrib install: + mkdir -p $(EACSL_DIR)/doc/manuals/ cp -f main.pdf $(EACSL_DIR)/doc/manuals/e-acsl-manual.pdf # cp -f main.pdf \ $(DISTRIB_DIR)/download/e-acsl/e-acsl-manual-$(EACSL_VERSION).pdf -- GitLab