added Lint.jl check

2026-09-22 10:48:32 +00:00 · 2015-07-05 18:27:06 +03:00
parent 4bde213b08
commit da4b70b248
3 changed files with 15 additions and 0 deletions
@@ -42,6 +42,9 @@ convert_notebooks:
 fix_permissions:
 	find docs/build/html -type d -exec chmod 775 {} \; && find docs/build/html -type f -exec chmod 664 {} \;

+lint:
+	julia docs/build_lint.jl
+
 #coverage_report:
 #	julia -e 'Pkg.test("JuliaFEM"; coverage=true); cd(Pkg.dir("JuliaFEM")); Pkg.add("Coverage"); using Coverage; Coveralls.submit(Coveralls.process_folder())'