Preface: link issues re: generated HTML and "releases"

idris-hackers · Aug 3, 2017 · 1fbf7ff · 1fbf7ff
1 parent 9eb75d8
commit 1fbf7ff
Showing 1 changed file with 6 additions and 2 deletions.
diff --git 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: