@@ -76,7 +76,7 @@ Extra-doc-files:
7676 samples/tutorial/*.idr
7777 samples/ST/*.idr
7878 samples/ST/Graphics/*.idr
79− samples/ST/NET/*.idr
79+ samples/ST/Net/*.idr
8080 samples/misc/*.lidr
8181
8282-- extra-source-files is generated by Setup.hs using `git --ls-files`.