CI: Ignore pdf-tools-install

2021-03-06 12:01:16 +08:00 · 2021-03-06 12:01:16 +08:00 · 1ae7b6414f
parent b90665c733
commit 1ae7b6414f
1 changed files with 3 additions and 0 deletions
--- a/misc/config-publishing/org-pdf.sh
+++ b/misc/config-publishing/org-pdf.sh
@ -15,6 +15,9 @@
 (require 'org)
 (require 'ox-latex)

+(advice-add 'pdf-tools-install :around #'ignore)
+(advice-add 'pdf-info-features :around #'ignore)
+
 (setq org-mode-hook nil)
 (with-temp-buffer
  (let ((default-directory config-root)