branch: externals/compat
commit d85e90bf1f917aae11367eb62d35d2c423c6173c
Author: Daniel Mendler <m...@daniel-mendler.de>
Commit: Daniel Mendler <m...@daniel-mendler.de>
CI: Do not ignore texi
We test in CI if the manuals builds.
---
.github/workflows/makefile.yml | 2 --
1 file changed, 2 deletions(-)
diff --git a/.github/workflows/makefile.yml b/.github/workflows/makefile.yml
index 0764e3452e..f0ae185a8f 100644
--- a/.github/workflows/makefile.yml
+++ b/.github/workflows/makefile.yml
@@ -5,12 +5,10 @@ on:
paths-ignore:
- '**.md'
- '**.org'
- - '**.texi'
pull_request:
paths-ignore:
- '**.md'
- '**.org'
- - '**.texi'
jobs:
test:
