Merge pull request #13393 from egorkonovalov/patch-1

roberth · web-flow · commit f9afc1e68ce0 · 2025-06-23T16:07:14.000+02:00
Fix typo: remove an extra word
diff --git a/doc/manual/source/store/derivation/index.md b/doc/manual/source/store/derivation/index.md
@@ -173,7 +173,7 @@ There are two types of placeholder, corresponding to the two cases where this pr
 
 > **Explanation**
 >
-> In general, we need to realise [realise] a [store object] in order to be sure to have a store object for it.
+> In general, we need to [realise] a [store object] in order to be sure to have a store object for it.
 > But for these two cases this is either impossible or impractical:
 >
 > - In the output case this is impossible:

Original file line number	Diff line number	Diff line change
`@@ -173,7 +173,7 @@ There are two types of placeholder, corresponding to the two cases where this pr`
`173`	`173`
`174`	`174`	`> Explanation`
`175`	`175`	`>`
`176`		`-> In general, we need to realise [realise] a [store object] in order to be sure to have a store object for it.`
	`176`	`+> In general, we need to [realise] a [store object] in order to be sure to have a store object for it.`
`177`	`177`	`> But for these two cases this is either impossible or impractical:`
`178`	`178`	`>`
`179`	`179`	`> - In the output case this is impossible:`