Index: HelenOS.config
===================================================================
--- HelenOS.config	(revision 1f5c9c96476a03a43ef971cbc095c9553338eaf6)
+++ HelenOS.config	(revision c6588ceb4c9ad92c68840c6b6ea796782d6579f3)
@@ -556,5 +556,5 @@
 
 % Include development files (headers, libraries)
-! [RDFMT=tmpfs|RDFMT=ext2fs] CONFIG_DEVEL_FILES (n/y)
+! CONFIG_DEVEL_FILES (n/y)
 
 % Strip binaries