From d08ca97624aa594af5ba4bf7cc60d4db9c2e29e7 Mon Sep 17 00:00:00 2001
From: Alexandre Duret-Lutz <adl@lrde.epita.fr>
Date: Fri, 23 Feb 2018 11:20:55 +0100
Subject: [PATCH] * HACKING: Document that "config.h" should be included first.

---
 HACKING | 6 +++++-
 1 file changed, 5 insertions(+), 1 deletion(-)

diff --git a/HACKING b/HACKING
index edab0fcc5..f70ce9bfa 100644
--- a/HACKING
+++ b/HACKING
@@ -320,12 +320,16 @@ Includes
     are distributed with Spot.  Those can be from Spot itself, or from
     third-party libraries that we ship.  E.g.,
 
+    #include "config.h"
     #include "utf8/utf8.hh"
     #include "spot/priv/trim.hh"
-    #include "config.h"
 
     This style of #include should never occur in public headers.
 
+  * "config.h" should be the first file included by any *.cc or *.c
+    file, as it setups several macros for replacing missing functions.
+
+
 Exporting symbols
 -----------------