another big clean

2022-09-21 00:06:11 +02:00
parent 1175eece63
commit a4e3d073f5
17 changed files with 261 additions and 438 deletions
--- a/Docs/README.md
+++ b/Docs/README.md
@@ -11,6 +11,9 @@ points à préciser.

 Certaines options de compilation sont dans le fichier de
 [paramètres](../Paramakes.mk) pour les différents fichiers make.
+Je vous conseille de vérifier leurs pertinences, et en particulier
+les options `-p` et `-pg` que j'oublie parfois d'enlever avant
+le _/push_.

 Le script [build.sh](../build.sh)  tente d'automatiser les
 compilations de la bibilothèque, des tests et des outils