From e9abedc5fb0a6e002555d6acb5d0247a5a393d6e Mon Sep 17 00:00:00 2001 From: Thibaut Lienart Date: Thu, 2 May 2019 09:14:46 +1000 Subject: [PATCH] closes #142 --- src/manager/dir_utils.jl | 2 ++ 1 file changed, 2 insertions(+) diff --git a/src/manager/dir_utils.jl b/src/manager/dir_utils.jl index 253347f98..d06a5dc4b 100644 --- a/src/manager/dir_utils.jl +++ b/src/manager/dir_utils.jl @@ -57,6 +57,8 @@ function scan_input_dir!(md_files::JD_FILES_DICT, html_files::JD_FILES_DICT, # top level files (src/*) for file ∈ readdir(JD_PATHS[:in]) isfile(joinpath(JD_PATHS[:in], file)) || continue + # skip if it has to be ignored + file ∈ JD_IGNORE_FILES && continue fname, fext = splitext(file) fpair = (JD_PATHS[:in] => file) if file == "config.md"