Turn 'doi:' URLs into the corresponding DOI URLs.

git-svn-id: https://svn.r-project.org/R/trunk@88483 00db46b3-68df-0310-9c12-caf00c1e9a41

Author: hornik

src/library/tools/R/Rd2HTML.R

@@ -794,13 +794,19 @@ Rd2HTML <-
                ## watch out for empty URLs (TeachingDemos had one)
                "\\url" = if(length(block)) {
                    url <- lines2str(as.character(block))
+                   if(startsWith(url, "doi:"))
+                       url <- paste0("https://doi.org/",
+                                     substring(url, 5L))
                    enterPara(doParas)
                    of0('<a href="', urlify(url), '">', htmlify(url), '</a>')
                },
                "\\href" = {
                    closing <-
                        if(length(block[[1L]])) {
                            url <- lines2str(as.character(block[[1L]]))
+                           if(startsWith(url, "doi:"))
+                               url <- paste0("https://doi.org/",
+                                             substring(url, 5L))
                            enterPara(doParas)
                            of0('<a href="', urlify(url), '">')
                            "</a>"