www

commit b4dcc16156f923185c8c5f6f0b6f62b8a0887df6
parent 8b01e8ea25293dc88ef2cca0eeb41b0792e8f6e8
Author: Georges Dupéron <georges.duperon@gmail.com>
Date:   Tue, 20 Jun 2017 10:16:50 +0200

Hyperlinks for datalog etc. in the HTML version

Diffstat:
M
info.rkt
 | 
2
++
M
scribblings/introduction.scrbl
 | 
11
+++++++++--
M
scribblings/state-of-the-art.scrbl
 | 
20
++++++++++++++++----

3 files changed, 27 insertions(+), 6 deletions(-)
diff --git a/info.rkt b/info.rkt
@@ -19,6 +19,8 @@
                      "r6rs-doc"
                      "redex-doc"
                      "turnstile"
+                     "extensible-functions"
+                     "zippers"
                      ;; Literate programming dependencies:
                      ;; phc-graph:
                      "aful"
diff --git a/scribblings/introduction.scrbl b/scribblings/introduction.scrbl
@@ -1,6 +1,7 @@
 #lang scribble/manual
 
 @require["util.rkt"
+         scriblib/render-cond
          (for-label racket
                     (only-in srfi/1 zip))]
 @(use-mathjax)
@@ -550,8 +551,14 @@
   (CLOS@~cite["bobrow_common_1988"]@todo{is it really implemented using
    macros?}, Racket classes@~cite["flatt_scheme_classes_2006"]) or supporting
   logic programming (Racket
-  Datalog@note{@url{http://docs.racket-lang.org/datalog/}} and
-  Racklog@note{@url{http://docs.racket-lang.org/racklog/}},
+  @cond-element[
+ [html @elem{
+      @seclink["top" #:doc '(lib "datalog/scribblings/datalog.scrbl")]{Datalog}
+      and
+      @seclink["top" #:doc '(lib "racklog/racklog.scrbl")]{Racklog}}]
+ [else @elem{
+      Datalog@note{@url{http://docs.racket-lang.org/datalog/}} and
+      Racklog@note{@url{http://docs.racket-lang.org/racklog/}}}]],
   Rosette@~cite["torlak_growing_rosette_2013" "torlak_rosette_symbolic_vm"]). In
   the past, @|typedracket|@~cite["tobin-hochstadt_design_2008"] has proved that
   a type system can be successfully fitted onto an existing ``untyped''
diff --git a/scribblings/state-of-the-art.scrbl b/scribblings/state-of-the-art.scrbl
@@ -2,7 +2,8 @@
 
 @require["util.rkt"
          scribble/core
-         scribble/latex-properties]
+         scribble/latex-properties
+         scriblib/render-cond]
 @(use-mathjax)
 
 @title[#:style (with-html5 manual-doc-style)
@@ -98,8 +99,15 @@
   @atitle{The case for bounded row polymorphism}
   @todo{Explain the ``expression problem''.}
   @todo{Talk about the various ways in which it can be ``solved'', and which
-   tradeoffs we aim for. Mention @url{
-    http://docs.racket-lang.org/extensible-functions}, another solution
+   tradeoffs we aim for. Mention @cond-element[
+ [html @elem{
+      @seclink["top"
+               #:doc
+               '(lib
+                 "extensible-functions/documentation/extensible-functions.scrbl"
+                 )]{extensible-functions}}]
+ [else @elem{extensible-functions@note{@url{
+    http://docs.racket-lang.org/extensible-functions}}}]], another solution
    to the expression problem in Racket, but with rather different
    tradeoffs.}
 
@@ -555,7 +563,11 @@
     pointers}
  @item{The huet zipper@~cite["huet1997zipper"]. Implementation in untyped
     Racket, but not @|typedracket|@note{
-     @url{http://docs.racket-lang.org/zippers/} and
+     See @cond-element[
+ [html @elem{
+         @seclink["top" #:doc '(lib "zippers/scribblings/zippers.scrbl")]{
+          zippers}}]
+ [else @elem{@url{http://docs.racket-lang.org/zippers/}}]], and
      @url{https://github.com/david-christiansen/racket-zippers}}}]
  }
 }
 \ No newline at end of file