grub.rst
changeset 1334 9bf0d5a1f0cf
parent 930 36430cc457bd
child 1713 f948320f5bf3
--- a/grub.rst	Fri Jul 13 22:02:58 2012 +0300
+++ b/grub.rst	Fri Jul 13 22:32:19 2012 +0300
@@ -1,4 +1,5 @@
-.. -*- coding: utf-8 -*-
+.. -*- coding: utf-8; -*-
+.. include:: HEADER.rst
 
 =======
  GRUB.