From bbba9092f4b7afa14da1273dd5cb59409d653229 Mon Sep 17 00:00:00 2001
From: Aminda Suomalainen <suomalainen+git@mikaela.info>
Date: Sat, 20 May 2023 12:29:02 +0300
Subject: [PATCH] .pre-commit-config.yaml: add local hook pdflatex draft mode

---
 .pre-commit-config.yaml | 10 ++++++++++
 1 file changed, 10 insertions(+)

diff --git a/.pre-commit-config.yaml b/.pre-commit-config.yaml
index ff9a8ef..6b3b25b 100644
--- a/.pre-commit-config.yaml
+++ b/.pre-commit-config.yaml
@@ -3,6 +3,7 @@ ci:
   # the frequency of unnecessary PRs.
   # https://github.com/pre-commit-ci/issues/issues/83
   autoupdate_schedule: quarterly
+  skip: [pdflatex]
 
 repos:
   - repo: https://github.com/pre-commit/pre-commit-hooks
@@ -28,3 +29,12 @@ repos:
       - id: editorconfig-checker
         alias: ec
         args: [-disable-max-line-length]
+
+  - repo: local
+    hooks:
+      - id: pdflatex
+        name: pdflatex draft mode
+        entry: pdflatex
+        args: ["-draftmode", "-halt-on-error"]
+        language: system
+        types: [tex]