Clean removes generated docs

CHANGELOG_NEXT.md

@@ -254,4 +254,5 @@ This CHANGELOG describes the merged but unreleased changes. Please see [CHANGELO
 
 #### Documentation
 
-* Module docstrings are now displayed for namespace indexes when documentation is built via --mkdoc.
+* Module docstrings are now displayed for namespace indexes when documentation is built via `--mkdoc`.
+* Generated documentation are now removed via `--clean`.

src/Idris/Package.idr

@@ -843,6 +843,20 @@ clean pkg opts -- `opts` is not used but might be in the future
          deleteFolder builddir []
          maybe (pure ()) (\e => delete (outputdir </> e))
                (executable pkg)
+         -- clean out the generated docs
+         let build = build_dir (dirs (options defs))
+         let docBase = build </> "docs"
+         let docDir = docBase </> "docs"
+         () <- do Right docfiles' <- coreLift $ listDir docDir
+                    | Left err => pure ()
+                  traverse_ (\x => delete $ docDir </> x)
+                            docfiles'
+                  deleteFolder docDir []
+         () <- do Right docfiles'' <- coreLift $ listDir docBase
+                    | Left err => pure ()
+                  traverse_ (\x => delete $ docBase </> x)
+                            docfiles''
+                  deleteFolder docBase []
          runScript (postclean pkg)
   where
     delete : String -> Core ()