diff --git a/docs/FormalVerification.md b/docs/FormalVerification.md
index 56d9f3adedf7..6d62e4747cdb 100644
--- a/docs/FormalVerification.md
+++ b/docs/FormalVerification.md
@@ -55,7 +55,7 @@ building formal verification tools based on CIRCT. The
 [below diagram](/includes/img/smt_based_formal_verification_infra.svg) provides
 a visual overview.
 
-<p align="center"><img src="/includes/img/smt_based_formal_verification_infra.svg"/></p>
+<p align="center"><img src="https://circt.llvm.org/includes/img/smt_based_formal_verification_infra.svg"/></p>
 
 The overall flow will insert an explicit operation to specify the verification
 problem (e.g., `verif.lec`, `verif.bmc`). This operation could then be lowered
diff --git a/docs/GettingStarted.md b/docs/GettingStarted.md
index 2d5a72541d11..a8b67a47976e 100644
--- a/docs/GettingStarted.md
+++ b/docs/GettingStarted.md
@@ -9,10 +9,10 @@ Welcome to the CIRCT project!
 methodology to the domain of hardware design tools.
 
 Take a look at the following diagram, which gives a brief overview of the
-current [dialects and how they interact](/includes/img/dialects.svg):
+current [dialects and how they interact](https://circt.llvm.org/includes/img/dialects.svg):
 
-<p align="center"><img src="/includes/img/dialectlegend.svg"/></p>
-<p align="center"><img src="/includes/img/dialects.svg"/></p>
+<p align="center"><img src="https://circt.llvm.org/includes/img/dialectlegend.svg"/></p>
+<p align="center"><img src="https://circt.llvm.org/includes/img/dialects.svg"/></p>
 
 ## Setting this up