gnu-make.rst
changeset 1912 8b81a8f0f692
parent 1905 fba288d59662
child 2075 ccaa2f364422
--- a/gnu-make.rst	Mon Feb 22 13:34:55 2016 +0200
+++ b/gnu-make.rst	Mon Feb 22 13:52:03 2016 +0200
@@ -1,5 +1,4 @@
 .. -*- coding: utf-8; -*-
-.. include:: HEADER.rst
 
 ===========
  GNU Make.