From d0094addd2aa6d239dea69ac89ba173ec52ad65f Mon Sep 17 00:00:00 2001 From: Sander Spies Date: Thu, 2 Apr 2020 12:40:55 +0200 Subject: [PATCH] Add markdown files to md_file_tests --- src/test/md_file_tests.ml | 3 +++ 1 file changed, 3 insertions(+) diff --git a/src/test/md_file_tests.ml b/src/test/md_file_tests.ml index 6114e9126..40ba43072 100644 --- a/src/test/md_file_tests.ml +++ b/src/test/md_file_tests.ml @@ -124,6 +124,9 @@ let md_files = [ "/gitlab-pages/docs/advanced/timestamps-addresses.md"; "/gitlab-pages/docs/api/cli-commands.md"; "/gitlab-pages/docs/api/cheat-sheet.md"; + "/gitlab-pages/docs/reference/toplevel.md"; + "/gitlab-pages/docs/reference/bitwise.md"; + "/gitlab-pages/docs/reference/bytes.md"; "/gitlab-pages/docs/reference/list.md"; "/gitlab-pages/docs/reference/map.md"; "/gitlab-pages/docs/reference/set.md";