From 12b1aa507aa5c173d97a60d5cb8531d0c433a105 Mon Sep 17 00:00:00 2001 From: Jukka Aho Date: Sat, 4 Jul 2015 00:43:43 +0300 Subject: [PATCH] README.md needs to be index.md in docs --- Makefile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/Makefile b/Makefile index 96c0c9b..f32222c 100644 --- a/Makefile +++ b/Makefile @@ -33,7 +33,7 @@ apidoc: # copy readme to correct place in docs root copyreadme: - cp README.md docs/ + cp README.md docs/index.md #coverage_report: # julia -e 'Pkg.test("JuliaFEM"; coverage=true); cd(Pkg.dir("JuliaFEM")); Pkg.add("Coverage"); using Coverage; Coveralls.submit(Coveralls.process_folder())'