Fix previous admin/emake change

diff --git a/admin/emake b/admin/emake
index 29d63099a280c673f7136be6546d7f48cfb3a9fb..bdaabc026b39acdfde343fa6e467259b31418ae6 100755 (executable)
--- a/admin/emake
+++ b/admin/emake
@@ -34,7 +34,7 @@ egrep --line-buffered -v "^make|\
 SCRAPE|\
 INFO.*Scraping.*[.] ?\$|\
 INFO.*Scraping.*done\$|\
-GEN.*etc/doc|\
+GEN.*etc/DOC|\
 ^Waiting for git|\
 ^Finding pointers|\
 ^Using load-path|\