From 53510ff392ded17094194f040f2b08311d4de3cb Mon Sep 17 00:00:00 2001
From: Sebastian Ullrich <sebasti@nullri.ch>
Date: Fri, 6 Nov 2020 12:28:18 +0100
Subject: [PATCH] chore: clean up doc/ before building manual

---
 .github/workflows/ci.yml | 1 +
 1 file changed, 1 insertion(+)

diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
index b31395df7a..277cc7c458 100644
--- a/.github/workflows/ci.yml
+++ b/.github/workflows/ci.yml
@@ -136,6 +136,7 @@ jobs:
           cargo install --git https://github.com/leanprover/mdBook mdbook
           export PATH=~/.cargo/bin:$PWD/build/stage1/bin:$PATH
           cd doc
+          git clean -fx .  # clean up test artifacts in doc/example
           mdbook build
           mdbook test
         if: matrix.name == 'Linux release'