@@ -76,7 +76,7 @@ Extra-doc-files:
76 samples/tutorial/*.idr
76 samples/tutorial/*.idr
77 samples/ST/*.idr
77 samples/ST/*.idr
78 samples/ST/Graphics/*.idr
78 samples/ST/Graphics/*.idr
79− samples/ST/NET/*.idr
79+ samples/ST/Net/*.idr
80 samples/misc/*.lidr
80 samples/misc/*.lidr
82-- extra-source-files is generated by Setup.hs using `git --ls-files`.
82-- extra-source-files is generated by Setup.hs using `git --ls-files`.