From 1fbf7ff92bbdac646f1d37cae5aeb4e816660c91 Mon Sep 17 00:00:00 2001
From: Eric Bailey <eric@ericb.me>
Date: Tue, 25 Jul 2017 16:39:32 -0500
Subject: [PATCH] Preface: link issues re: generated HTML and "releases"

---
 src/Preface.lidr | 8 ++++++--
 1 file changed, 6 insertions(+), 2 deletions(-)

diff --git a/src/Preface.lidr b/src/Preface.lidr
index 4508773..75fc2b7 100644
--- a/src/Preface.lidr
+++ b/src/Preface.lidr
@@ -366,8 +366,12 @@ search engines.
 
 === Downloading the Idris Files
 
-\todo[inline]{Edit the following, generate HTML files (update pandoc-minted.hs
-accordingly) and update the URL.}
+\todo[inline]{See
+\href{https://github.com/idris-hackers/software-foundations/issues/25}{\#25} and
+\href{ https://github.com/idris-hackers/software-foundations/issues/30}{\#30}}
+
+\todo[inline]{Generate a "release" after the Rel chapter and update this
+subsection accordingly.}
 
 A tar file containing the full sources for the "release version" of these notes
 (as a collection of Coq scripts and HTML files) is available here: