Just point the readme to the online documentation. Simple enough.

README.md

@@ -11,19 +11,11 @@ and publications:
 [OOPSLA'19 paper](https://dl.acm.org/doi/10.1145/3360612),
 [PPoPP'21 paper](https://dl.acm.org/doi/10.1145/3437801.3446108).
 
-HPVM is currently at **version 1.0**.
+Read our [online documentation](https://hpvm.readthedocs.io/en/latest/)
+for how to build, install, and use HPVM.
 
-For instruction on how to build and install HPVM, see [here](/hpvm/docs/install.rst);
-for how to use HPVM, see [here](/hpvm/docs/getting_started.rst).
+HPVM is currently at **version 1.0**.
 
 ## Support
 
 All questions can be directed to [hpvm-dev@lists.cs.illinois.edu](mailto:hpvm-dev@lists.cs.illinois.edu).
-
-## References
-
-Some documents on technical details and the internal working of HPVM:
-
-* [HPVM IR Specification](/hpvm/docs/references/hpvm-specification.md)
-* [HPVM-C Language Specification](/hpvm/docs/references/hpvm-c.md)
-* [HPVM Compilation Process](/hpvm/docs/references/compilation-process.rst)