From 558ba2823e40867eac47686edea3fe318ce3c446 Mon Sep 17 00:00:00 2001
From: Jay Berkenbilt <ejb@ql.org>
Date: Fri, 21 Jan 2022 18:01:54 -0500
Subject: TODO note about debian package and docs

---
 TODO | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

(limited to 'TODO')

diff --git a/TODO b/TODO
index bb6374ca..3aab488c 100644
--- a/TODO
+++ b/TODO
@@ -43,6 +43,9 @@ Documentation
   this can be incorporated directly into sphinx_rtd_theme and the
   workaround can be removed.
 
+* When possible, update the debian package to include docs again. See
+  https://bugs.debian.org/1004159 for details.
+
 Document-level work
 ===================
 
@@ -547,7 +550,6 @@ A few important lessons (in README-maintainer)
 Also, it turns out that PointerHolder is more performant than
 std::shared_ptr.
 
-
 Rejected Ideas
 ==============
 
-- 
cgit v1.2.3-54-g00ecf