diff --git a/docs/build_instructions.md b/docs/build_instructions.md
index 37d4a89ae..38f2be0c4 100644
--- a/docs/build_instructions.md
+++ b/docs/build_instructions.md
@@ -25,10 +25,26 @@ cmake ..                                        \
             -G Ninja
 ```
 
+### Notable CMake variables
+
 ## Build and run the tests
 
 *Note*: Pass `-v` to ninja to see build commands and output from failing tests.
 
+TODO: mention difference between check and check-ia2 targets
+TODO: consider renaming check-ia2 to check-rewriter or similar
+
 ```
 ninja check-ia2
 ```
+
+## CMake targets
+
+```
+ia2-rewriter
+pad-tls
+libia2
+partition-alloc
+```
+
+CMake tests are enumerated in `rewriter/tests/CMakeLists.txt`. To build a specific test use `$TEST_main_wrapped` as the target. To add a new test ...