added rsync to site

2026-09-22 02:40:51 +00:00 · 2015-07-04 01:00:05 +03:00
parent 12b1aa507a
commit ec7d1a497d
1 changed files with 4 additions and 0 deletions
@@ -35,6 +35,10 @@ apidoc:
 copyreadme:
 	cp README.md docs/index.md

+# sync web server
+wwwdeploy:
+	rsync -r --delete docs/build/html/ $(JULIAFEM_WWW)
+
 #coverage_report:
 #	julia -e 'Pkg.test("JuliaFEM"; coverage=true); cd(Pkg.dir("JuliaFEM")); Pkg.add("Coverage"); using Coverage; Coveralls.submit(Coveralls.process_folder())'