Remove relative URL that breaks distribution (#715)

* Remove relative URL that breaks distribution! * Export doc-url
herbie-fp · Jan 31, 2024 · f2d431b · f2d431b
1 parent 1e3c827
commit f2d431b
Show file tree

Hide file tree

Showing 4 changed files with 11 additions and 8 deletions.
diff --git a/src/web/common.rkt b/src/web/common.rkt
@@ -12,7 +12,7 @@
 
 (provide render-menu render-warnings render-large render-comparison render-program
          render-bogosity render-help
-         format-percent
+         format-percent doc-url
          program->fpcore program->tex render-reproduction js-tex-include)
 
 (define (program->fpcore expr ctx #:ident [ident #f])
@@ -42,6 +42,10 @@
   (define top (if ident (format "FPCore ~a ~a" ident args) (format "FPCore ~a" args)))
   (pretty-format `(,top ,@props* ,expr) #:mode 'display))
 
+
+(define (doc-url 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?)))
        (#:path string?)
@@ -265,7 +269,7 @@
      (summary
       (h2 "Reproduce")
       (a ([class "help-button float"] 
-          [href "/doc/latest/report.html#reproduction"] 
+          [href ,(doc-url "report.html#reproduction")]
           [target "_blank"]) "?"))
      (pre ((class "shell"))
           (code
@@ -279,7 +283,7 @@
 
 (define (render-help url #:float [float? #t])
   `(a ([class ,(if float? "help-button float" "help-button")] 
-       [href ,(format "/doc/latest/~a" url)] 
+       [href ,(doc-url url)] 
        [target "_blank"]) "?"))
 
 (define js-tex-include

diff --git a/src/web/make-graph.rkt b/src/web/make-graph.rkt
@@ -126,7 +126,7 @@
                     (summary (h2 "Specification")
                              ,dropdown
                              (a ([class "help-button float"] 
-                                 [href "/doc/latest/report.html#spec"] 
+                                 [href ,(doc-url "report.html#spec")]
                                  [target "_blank"]) "?"))
                     ,body
                     (p "Sampling outcomes in " (kbd ,(~a (representation-name repr))) " precision:")
@@ -137,7 +137,7 @@
         (h2 "Local Percentage Accuracy vs "
             (span ([id "variables"]))
             (a ([class "help-button float"] 
-                [href "/doc/latest/report.html#graph"] 
+                [href ,(doc-url "report.html#graph")] 
                 [target "_blank"]) "?"))
         (svg)
         (div ([id "functions"]))
@@ -155,7 +155,7 @@
                 ,@(if target-cost `([data-target-cost ,(~a target-cost)]) '()))
         (h2 "Accuracy vs Speed"
             (a ([class "help-button float"] 
-                [href "/doc/latest/report.html#cost-accuracy"] 
+                [href ,(doc-url "report.html#cost-accuracy")]
                 [target "_blank"]) "?"))
         (div ([class "figure-row"])
           (svg)

diff --git a/src/web/resources/doc b/src/web/resources/doc
diff --git a/src/web/traceback.rkt b/src/web/traceback.rkt
@@ -34,7 +34,7 @@
                     (summary (h2 "Specification")
                              ,dropdown
                              (a ([class "help-button float"] 
-                                 [href "/doc/latest/report.html#spec"] 
+                                 [href ,(doc-url "report.html#spec")] 
                                  [target "_blank"]) "?"))
                     ,body)))