File tree Expand file tree Collapse file tree 1 file changed +2
-3
lines changed Expand file tree Collapse file tree 1 file changed +2
-3
lines changed Original file line number Diff line number Diff line change @@ -289,7 +289,7 @@ let source_files_post408 =
289289
290290let source_files_pre410 = [ (" bugs_pre_410.ml" , [ " Bugs_pre_410/index.html" ]) ]
291291
292- let source_files_stop_dead_link_doc =
292+ let source_files_post403 =
293293 [ (" stop_dead_link_doc.mli" , [ " Stop_dead_link_doc/index.html" ]) ]
294294
295295let source_files =
@@ -304,8 +304,7 @@ let source_files =
304304 (if major = 4 && minor < 10 then source_files_pre410 else [] );
305305 (if major = 4 && minor > 8 then source_files_post408 else [] );
306306 (if major = 4 && minor > = 6 then source_files_post406 else [] );
307- ( if major = 4 && minor > = 4 then source_files_stop_dead_link_doc
308- else [] );
307+ (if major = 4 && minor > = 4 then source_files_post403 else [] );
309308 source_files_all;
310309 ]
311310 | _ -> source_files_all
You can’t perform that action at this time.
0 commit comments