From dd941cd29b2714ab231d2ef86d375fb65cd71253 Mon Sep 17 00:00:00 2001 From: Ian A Mason Date: Mon, 26 Aug 2019 16:20:34 -0700 Subject: [PATCH] Update README.md Indication of where all the documentation lies. --- README.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/README.md b/README.md index a8159c0..115fc15 100644 --- a/README.md +++ b/README.md @@ -104,7 +104,7 @@ Another useful environment variable is `WLLVM_CONFIGURE_ONLY`. Its use is explai README of [wllvm](https://github.com/SRI-CSL/whole-program-llvm). `gllvm` does not support the dragonegg plugin. All other features of `wllvm`, such as logging, and the bitcode store, -are supported in exactly the same fashion. +are supported in exactly the same fashion as documented [here](https://github.com/SRI-CSL/whole-program-llvm). ## Under the hoods