From 68014e46fcfca80ded28a2f71daff0f1680339f7 Mon Sep 17 00:00:00 2001 From: Etienne Renault Date: Tue, 9 Jun 2020 20:39:56 +0200 Subject: [PATCH] HACKING: rename src to spot * HACKING: Here. --- HACKING | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/HACKING b/HACKING index 1b37af6aa..08e5d61bc 100644 --- a/HACKING +++ b/HACKING @@ -209,7 +209,7 @@ Then run the test suite (or any program you want to study). Executing programs using Spot will generate a lot of *.gc* files everywhere. Collect these using lcov: - % lcov --capture --directory src --output spot.info + % lcov --capture --directory spot --output spot.info Finally generate a coverage report in HTML: @@ -353,7 +353,7 @@ Exporting symbols Needless to say, no public header should include such a private header. - * The directory src/priv/ can be used to store files that are + * The directory spot/priv/ can be used to store files that are globaly private to the library, and that do not really belong to other directories. @@ -539,7 +539,7 @@ Formating int *p, *q; The former declarations also allow you to comment each variable. - * The include guard for src/somedir/foo.hh is + * The include guard for spot/somedir/foo.hh is SPOT_SOMEDIR_FOO_HH Naming