summaryrefslogtreecommitdiff
path: root/doc/portal-docs.xml.in
diff options
context:
space:
mode:
Diffstat (limited to 'doc/portal-docs.xml.in')
-rw-r--r--doc/portal-docs.xml.in2
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/portal-docs.xml.in b/doc/portal-docs.xml.in
index c32a8e0..f83ac2f 100644
--- a/doc/portal-docs.xml.in
+++ b/doc/portal-docs.xml.in
@@ -134,7 +134,7 @@
(or processes), and are not accessible to sandboxed applications.
</para>
<para>
- The separation or the portal infrastructure into frontend and backend
+ The separation of the portal infrastructure into frontend and backend
is a clean way to provide suitable user interfaces that fit into
different desktop environments, while sharing the portal frontend.
</para>