--- a/src/HOL/IsaMakefile Wed Mar 11 20:09:23 2009 +0100 +++ b/src/HOL/IsaMakefile Wed Mar 11 20:11:06 2009 +0100 @@ -15,7 +15,6 @@ HOL-Auth \ HOL-Bali \ HOL-Decision_Procs \ - HOL-Docs \ HOL-Extraction \ HOL-HahnBanach \ HOL-Hoare \