From 7e4da29b916cc57b6651853c4222767253c1f084 Mon Sep 17 00:00:00 2001
From: Tej Chajed <tchajed@gmail.com>
Date: Wed, 24 Jul 2024 09:50:58 -0500
Subject: [PATCH] Reduce the preamble before the first trick

---
 README.md | 9 +--------
 1 file changed, 1 insertion(+), 8 deletions(-)

diff --git a/README.md b/README.md
index 97ab473..98b554d 100644
--- a/README.md
+++ b/README.md
@@ -29,15 +29,8 @@ If you have a trick you've found useful feel free to submit an issue or pull req
   - Tej Chajed ([**@tchajed**](https://github.com/tchajed))
 - License: The code in the repository is licensed under the terms of the [MIT license](LICENSE). The documentation (including this README) is licensed under the [CC0 license](LICENSE-docs).
 - Compatible Coq versions: Coq master
-- Coq namespace: `Tricks`
 
-## Building instructions
-
-``` shell
-git clone https://github.com/coq-community/coq-tricks
-cd coq-tricks
-make   # or make -j <number-of-cores-on-your-machine>
-```
+To build all the examples in `src/`, run `make`.
 
 ## Ltac