Update url. [ci skip]

typetools · Jun 1, 2018 · 3b15384 · 3b15384
1 parent 29830a1
commit 3b15384
Show file tree

Hide file tree

Showing 2 changed files with 6 additions and 6 deletions.
diff --git a/build.gradle b/build.gradle
@@ -204,12 +204,12 @@ task allJavadoc(type: Javadoc, group: "Documentation") {
     description = 'Generates a global API documentation for all the modules'
     dependsOn(':checker:shadowJar')
     dependsOn(':util:tagletClasses')
-    source(project(':checker').sourceSets.main.allJava, project(':framework').sourceSets.main.allJava,
-            project(':dataflow').sourceSets.main.allJava, project(':javacutil').sourceSets.main.allJava)
-
-    classpath = files(subprojects.collect { it.sourceSets.main.compileClasspath })
-    destinationDir = file("${projectDir}/docs/api")
     doLast {
+        source(project(':checker').sourceSets.main.allJava, project(':framework').sourceSets.main.allJava,
+                project(':dataflow').sourceSets.main.allJava, project(':javacutil').sourceSets.main.allJava)
+
+        classpath = files(subprojects.collect { it.sourceSets.main.compileClasspath })
+        destinationDir = file("${projectDir}/docs/api")
         copy {
             from 'docs/logo/Checkmark/CFCheckmark_favicon.png'
             rename('CFCheckmark_favicon.png', 'favicon-checkerframework.png')

diff --git a/docs/manual/external-checkers.tex b/docs/manual/external-checkers.tex
@@ -59,7 +59,7 @@ \section{Thread locality checker\label{loci-thread-locality-checker}}
 \section{Safety-Critical Java checker\label{safety-critical-java-checker}}
 
 A checker for Safety-Critical Java (SCJ, JSR 302)~\cite{TangPJ2010} is available at
-\url{http://sss.cs.purdue.edu/projects/oscj/checker/checker.html}.
+\url{https://www.cs.purdue.edu/sss/projects/oscj/checker/checker.html}.
 Developer resources are available at the project page
 \url{https://code.google.com/archive/p/scj-jsr302/}.