diff --git a/lab/ikarusfind b/lab/ikarusdoc
similarity index 100%
rename from lab/ikarusfind
rename to lab/ikarusdoc