From 07c86da0126873b2f643cb70ee3e7be0e8f46bd5 Mon Sep 17 00:00:00 2001 From: TEC Date: Fri, 26 Mar 2021 18:31:15 +0800 Subject: [PATCH] Config CI: Include misc/splash-images in publish --- misc/config-publishing/initialise.el | 15 ++++++++------- misc/config-publishing/org-html.sh | 2 +- 2 files changed, 9 insertions(+), 8 deletions(-) diff --git a/misc/config-publishing/initialise.el b/misc/config-publishing/initialise.el index ff4ab20..24bd74e 100644 --- a/misc/config-publishing/initialise.el +++ b/misc/config-publishing/initialise.el @@ -104,16 +104,17 @@ (defun publish (&rest files) "Move each file into `publish'. -Names containing \"*\" are treate as a glob." +Names containing \"*\" are treated as a glob." (dolist (file files) (if (string-match-p "\\*" file) (apply #'publish (directory-files (expand-file-name (or (file-name-directory file) "./") config-root) t (dired-glob-regexp (file-name-nondirectory file)))) - (message (concat (when message-colour "[34] ") "Publishing %s") file) - (let ((target (replace-regexp-in-string (regexp-quote config-root) - publish-dir - (expand-file-name file config-root)))) - (ensure-dir-exists target) - (copy-file (expand-file-name file config-root) target t))))) + (unless (string-match-p "/\\.\\.?$" file) + (message (concat (when message-colour "[34] ") "Publishing %s") file) + (let ((target (replace-regexp-in-string (regexp-quote config-root) + publish-dir + (expand-file-name file config-root)))) + (ensure-dir-exists target) + (copy-file (expand-file-name file config-root) target t)))))) diff --git a/misc/config-publishing/org-html.sh b/misc/config-publishing/org-html.sh index 84884ef..c5fead3 100755 --- a/misc/config-publishing/org-html.sh +++ b/misc/config-publishing/org-html.sh @@ -27,7 +27,7 @@ (org-mode) (org-html-export-to-html))) -(publish "config.html" "misc/*.svg") +(publish "config.html" "misc/*.svg" "misc/splash-images/*") (make-symbolic-link (expand-file-name "config.html" publish-dir) (expand-file-name "index.html" publish-dir) t)