From 18d06595d91845faa3d3cec4d631919f589e04f2 Mon Sep 17 00:00:00 2001
From: Egor Tensin <Egor.Tensin@gmail.com>
Date: Thu, 10 Mar 2022 11:30:51 +0500
Subject: Makefile: remove stupid header, etc.

---
 Makefile | 9 +++------
 1 file changed, 3 insertions(+), 6 deletions(-)

diff --git a/Makefile b/Makefile
index 75f36c6..f3a99d8 100644
--- a/Makefile
+++ b/Makefile
@@ -1,6 +1,3 @@
-# Various one-liners which I'm too lazy to remember.
-# Basically a collection of really small shell scripts.
-
 MAKEFLAGS += --no-builtin-rules --no-builtin-variables --warn-undefined-variables
 unexport MAKEFLAGS
 .DEFAULT_GOAL := all
@@ -9,9 +6,6 @@ unexport MAKEFLAGS
 SHELL := bash
 .SHELLFLAGS := -eu -o pipefail -c
 
-.PHONY: DO
-DO:
-
 escape = $(subst ','\'',$(1))
 
 define noexpand
@@ -49,6 +43,9 @@ $(eval $(call noexpand,BOOST_VERSION))
 $(eval $(call noexpand,CMAKE_FLAGS))
 $(eval $(call noexpand,DESTDIR))
 
+.PHONY: DO
+DO:
+
 .PHONY: all
 all: build
 
-- 
cgit v1.2.3