From 12b4a6ed99b22e62aeb021c0e935287f2b06e913 Mon Sep 17 00:00:00 2001 From: Jukka Aho Date: Sat, 4 Jul 2015 00:40:48 +0300 Subject: [PATCH] copy readme using Makefile --- Makefile | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/Makefile b/Makefile index 093f73d..96c0c9b 100644 --- a/Makefile +++ b/Makefile @@ -31,6 +31,10 @@ build: apidoc: julia docs/build.jl +# copy readme to correct place in docs root +copyreadme: + cp README.md docs/ + #coverage_report: # julia -e 'Pkg.test("JuliaFEM"; coverage=true); cd(Pkg.dir("JuliaFEM")); Pkg.add("Coverage"); using Coverage; Coveralls.submit(Coveralls.process_folder())'