Link to view GIFs in browser

Author: stmio

.github/workflows/md-to-pdf.yml

@@ -20,6 +20,7 @@ jobs:
             -f markdown_github
             --include-in-header ./.github/workflows/pdf/header.tex
             --include-before-body ./.github/workflows/pdf/title.tex
+            --lua-filter ./.github/workflows/pdf/link-gifs.lua
             --file-scope
             --table-of-contents
             --number-sections

.github/workflows/pdf/link-gifs.lua

@@ -0,0 +1,20 @@
+function Image(img)
+    if img.src:match("^.+(%..+)$") == ".gif" then
+        local link
+
+        if string.find(img.src, "www") then
+            -- Image source is already a URL
+            link = "https:" .. img.src
+        else
+            -- Image source is a local file
+            link = "https://aseprite.org/docs/" .. img.src
+        end
+
+        return pandoc.Link(
+            pandoc.Image(img.caption, img.src, img.title, img.attr),
+            link
+        )
+    else
+        return img
+    end
+end

.github/workflows/pdf/title.tex

@@ -2,3 +2,10 @@
 \maketitle
 \lhead{Aseprite Documentation}
 \rhead{\today}
+\begin{center}
+    This is the PDF version of the \href{https://aseprite.org/docs/}{online Aseprite documentation}.
+    The latest version of this document can be downloaded from the \href{https://github.com/aseprite/docs/}{docs GitHub repository}.
+
+    Some images in this document are GIF animations, which can not be played when embedded in a PDF. 
+    GIFs are linked to their online counterpart, so you can click the image to view the animation in your browser.
+\end{center}