From 39f5a2b2183d6de3cb5952cc0c527680ccb5618b Mon Sep 17 00:00:00 2001
From: Araq <rumpf_a@web.de>
Date: Mon, 30 Sep 2019 10:40:00 +0200
Subject: [PATCH] fixes #12279 [backport]

(cherry picked from commit 86de2cddf610a3fa118b343113ce9ab70ead5411)
---
 tools/kochdocs.nim | 1 +
 1 file changed, 1 insertion(+)

diff --git a/tools/kochdocs.nim b/tools/kochdocs.nim
index b660a3c30e..7bc8fa4e6d 100644
--- a/tools/kochdocs.nim
+++ b/tools/kochdocs.nim
@@ -219,6 +219,7 @@ lib/pure/endians.nim
 lib/pure/uri.nim
 lib/pure/nimprof.nim
 lib/pure/unittest.nim
+lib/pure/quitprocs.nim
 lib/packages/docutils/highlite.nim
 lib/packages/docutils/rst.nim
 lib/packages/docutils/rstast.nim