Working format.

diff --git a/src/config.h b/src/config.h
index bace0495861d199ebeed12baf993952cb8ff061b..fa79231949b52b450fb744d593e67b1de8aecbea 100644 (file)
--- a/src/config.h
+++ b/src/config.h
@@ -2,13 +2,13 @@
  * This file defines the configuration for Etherboot.
  *
  * The build system splits this file into several individual header
- * files, so that changing one option doesn't necessitate a rebuild of
- * every single object.  For this reason, it is important to maintain
- * the strict formatting in this file.
+ * files of the form config/%.h, so that changing one option doesn't
+ * necessitate a rebuild of every single object.  For this reason, it
+ * is important to maintain the strict formatting in this file.
  *
  */
 
-/* BEGIN config_serial.h
+/* @BEGIN serial.h
  *
  * Serial port configuration
  *
@@ -32,5 +32,4 @@
 #define COMSTOP                1               /* Stop bits */
 #endif
 
-/* END config_serial.h */
-
+/* @END serial.h */