diff --git a/docs/LangRef.html b/docs/LangRef.html index 6e339f6616d..0cfd533c25e 100644 --- a/docs/LangRef.html +++ b/docs/LangRef.html @@ -101,7 +101,7 @@
The getelementptr instruction is often confusing. For some more insight +into how it works, see the getelementptr +FAQ.
+