]> git.lizzy.rs Git - rust.git/commitdiff
Remove platform-specific directory separator.
authorCorey Farwell <coreyf@rwell.org>
Wed, 19 Apr 2017 16:42:07 +0000 (12:42 -0400)
committerCorey Farwell <coreyf@rwell.org>
Wed, 19 Apr 2017 16:42:07 +0000 (12:42 -0400)
src/tools/linkchecker/main.rs

index 531c148de26194d2d05f88d14b78643212cdf35d..3d9a4fba6cdeefc5be4d7e1e2dd427b4fe50f95a 100644 (file)
@@ -149,7 +149,7 @@ fn check(cache: &mut Cache,
 
     // mdbook uses the HTML <base> tag to handle links for subdirectories, which
     // linkchecker doesn't support
-    if file.to_str().unwrap().contains("unstable-book/") {
+    if file.to_str().unwrap().contains("unstable-book") {
         return None;
     }