Remove Tectonic patch (#247)

src/build.jl

@@ -396,17 +396,6 @@ function build_all(; project="default", extra_head="", fail_on_error=false)
     build_sitemap = true
     html(; project, extra_head, fail_on_error, build_sitemap)
     write_extra_html_files(project)
-    try
-        pdf(; project)
-    catch e
-        # Only patch in CI.
-        if IS_CI
-            println("PDF generation failed. Patching the archive.org URL and trying again")
-            patch_tectonic_url()
-            pdf(; project)
-        else
-            throw(e)
-        end
-    end
+    pdf(; project)
     docx(; project)
 end

src/ci.jl

@@ -114,21 +114,3 @@ function write_extra_html_files(project)
     write(path, robots)
     return nothing
 end
-
-"""
-    patch_tectonic_url()
-
-Workaround for https://github.com/tectonic-typesetting/tectonic/issues/765.
-"""
-function patch_tectonic_url()
-    old_url = "https://archive.org/services/purl/net/pkgwpub/tectonic-default"
-    # The new URL seems to be required to have the same length as the old URL for patching to work.
-    new_url = "https://tectonicredirectmirrorabc.netlify.app/tectonic-default"
-
-    tectonic = joinpath(Artifacts.artifact"Tectonic", "tectonic")
-    run(`chmod 775 $tectonic`)
-    arg = "s@$(old_url)@$(new_url)@"
-    cmd = `sed -i $arg $tectonic`
-    run(cmd)
-    return nothing
-end