Permalink
Browse files

[remove] On remove, delete the documentation as well.

  • Loading branch information...
1 parent 8e075a8 commit 20c814901a421d1a455d4239ab41649b3bcb980a @samoht samoht committed Oct 11, 2012
Showing with 4 additions and 0 deletions.
  1. +4 −0 src/opamClient.ml
View
@@ -1440,6 +1440,10 @@ let proceed_todelete ~rm_build t nv =
(* Remove the libraries *)
OpamFilename.rmdir (OpamPath.Alias.lib t.root t.alias name);
+ (* Remove the documentation *)
+ OpamFilename.rmdir (OpamPath.Alias.doc t.root t.alias name);
+ (* XXX: remove the man pages *)
+
(* Remove build/<package> if requested *)
if rm_build then
OpamFilename.rmdir (OpamPath.Alias.build t.root t.alias nv);

0 comments on commit 20c8149

Please sign in to comment.