diff --git a/idris.cabal b/idris.cabal
index 2f85b6c63..bb6c03951 100644
--- a/idris.cabal
+++ b/idris.cabal
@@ -76,7 +76,7 @@ Extra-doc-files:
                        samples/tutorial/*.idr
                        samples/ST/*.idr
                        samples/ST/Graphics/*.idr
-                       samples/ST/NET/*.idr
+                       samples/ST/Net/*.idr
                        samples/misc/*.lidr
 
 -- extra-source-files is generated by Setup.hs using `git --ls-files`.