From 29a63a09ef0e3c7ef44dfeb86783a6c82d78f115 Mon Sep 17 00:00:00 2001
From: Iavor Diatchki <iavor.diatchki@gmail.com>
Date: Wed, 26 Oct 2022 14:05:48 -0700
Subject: [PATCH] Copy the syntax-highlight directory under share/cyrptol for
 installation

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

diff --git a/.github/ci.sh b/.github/ci.sh
index dc536f6a..673accb7 100755
--- a/.github/ci.sh
+++ b/.github/ci.sh
@@ -102,6 +102,7 @@ bundle_files() {
   cp docs/*pdf $doc
   mkdir -p $lib
   cp -r lib/* $lib
+  cp -r syntax-highlight $lib
 
   # Copy the two interesting examples over
   cp docs/ProgrammingCryptol/{aes/AES,enigma/Enigma}.cry $doc/examples/