haeredes.cabal: add Paths_haeredes to other-modules to silence a warning.

If Cabal is happy, I'm happy. This appears to not do the wrong thing.
In other words, nothing is changed by including Paths_haeredes in the
list of other-modules.

diff --git a/haeredes.cabal b/haeredes.cabal
index 723fc0719c731451db0bf67d566623c952701711..f4a41215862f6c5c88ec09a97592edb03df1a88e 100644 (file)
--- a/haeredes.cabal
+++ b/haeredes.cabal
@@ -97,6 +97,11 @@ executable haeredes
     CommandLine
     DNS
     ExitCodes
     CommandLine
     DNS
     ExitCodes

+    -- WARNING: the Paths_haeredes module is automatically generated by
+    -- Cabal itself. We don't want it included in the release tarballs,
+    -- since we typically want the paths that the user has configured.
+    -- Nevertheless, Cabal will complain if we don't include it here.
+    Paths_haeredes

     Timeout
 
   ghc-options:
     Timeout
 
   ghc-options: