Woops :()

herbie-fp · Feb 2, 2024 · 1173daa · 1173daa
1 parent f2d431b
commit 1173daa
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/web/common.rkt b/src/web/common.rkt
@@ -44,7 +44,7 @@
 
 
 (define (doc-url page)
- (format "https://herbie.uwplse.org/doc/~a/~a" (*herbie-version*) page))
+ (format "https://herbie.uwplse.org/doc/~a/~a" *herbie-version* page))
 
 (define/contract (render-menu #:path [path "."] name links)
  (->* (string? (listof (cons/c string? string?)))