From d12aa130f71c1bb888f49530bb27ab9b987d731b Mon Sep 17 00:00:00 2001 From: John David Pressman Date: Tue, 11 Feb 2020 18:47:54 -0800 Subject: [PATCH] Add crypto reference page to doc tests --- src/test/md_file_tests.ml | 1 + 1 file changed, 1 insertion(+) diff --git a/src/test/md_file_tests.ml b/src/test/md_file_tests.ml index 908f6ccd0..833769f32 100644 --- a/src/test/md_file_tests.ml +++ b/src/test/md_file_tests.ml @@ -125,6 +125,7 @@ let md_files = [ "/gitlab-pages/docs/reference/set.md"; "/gitlab-pages/docs/reference/big_map.md"; "/gitlab-pages/docs/reference/string.md"; + "/gitlab-pages/docs/reference/crypto.md"; ] let md_root = "../../gitlab-pages/docs/language-basics/"