[SILENT_COMMIT] Update of POT and PO files for the installation-guide

1 files changed, 29 insertions, 26 deletions

diff --git a/po/tl/welcome.po b/po/tl/welcome.po
index 1c7b50830..c4c0c7511 100644
--- a/po/tl/welcome.po
+++ b/po/tl/welcome.po
@@ -7,7 +7,7 @@ msgid ""
 msgstr ""
 "Project-Id-Version: d-i manual\n"
 "Report-Msgid-Bugs-To: debian-boot@lists.debian.org\n"
-"POT-Creation-Date: 2019-09-22 23:04+0000\n"
+"POT-Creation-Date: 2021-09-11 23:02+0000\n"
 "PO-Revision-Date: 2005-12-05 11:31+0800\n"
 "Last-Translator: Eric Pareja <xenos@upm.edu.ph>\n"
 "Language-Team: Tagalog <debian-tl@banwa.upm.edu.ph>\n"
@@ -194,9 +194,12 @@ msgstr "Ano ang GNU/Linux?"
 
 #. Tag: para
 #: welcome.xml:124
-#, no-c-format
+#, fuzzy, no-c-format
+#| msgid ""
+#| "Linux is an operating system: a series of programs that let you interact "
+#| "with your computer and run other programs."
 msgid ""
-"Linux is an operating system: a series of programs that let you interact "
+"GNU/Linux is an operating system: a series of programs that let you interact "
 "with your computer and run other programs."
 msgstr ""
 "Ang Linux ay isang operating system: isang koleksyon ng mga programa na "
@@ -223,12 +226,12 @@ msgstr ""
 #: welcome.xml:143
 #, no-c-format
 msgid ""
-"Linux is modelled on the Unix operating system. From the start, Linux was "
-"designed to be a multi-tasking, multi-user system. These facts are enough to "
-"make Linux different from other well-known operating systems. However, Linux "
-"is even more different than you might imagine. In contrast to other "
-"operating systems, nobody owns Linux. Much of its development is done by "
-"unpaid volunteers."
+"GNU/Linux is modelled on the Unix operating system. From the start, GNU/"
+"Linux was designed to be a multi-tasking, multi-user system. These facts are "
+"enough to make GNU/Linux different from other well-known operating systems. "
+"However, GNU/Linux is even more different than you might imagine. In "
+"contrast to other operating systems, nobody owns GNU/Linux. Much of its "
+"development is done by unpaid volunteers."
 msgstr ""
 
 #. Tag: para
@@ -246,20 +249,20 @@ msgstr ""
 msgid ""
 "The <ulink url=\"&url-gnu;\">GNU Project</ulink> has developed a "
 "comprehensive set of free software tools for use with Unix&trade; and Unix-"
-"like operating systems such as Linux. These tools enable users to perform "
-"tasks ranging from the mundane (such as copying or removing files from the "
-"system) to the arcane (such as writing and compiling programs or doing "
-"sophisticated editing in a variety of document formats)."
+"like operating systems such as GNU/Linux. These tools enable users to "
+"perform tasks ranging from the mundane (such as copying or removing files "
+"from the system) to the arcane (such as writing and compiling programs or "
+"doing sophisticated editing in a variety of document formats)."
 msgstr ""
 
 #. Tag: para
 #: welcome.xml:168
 #, no-c-format
 msgid ""
-"While many groups and individuals have contributed to Linux, the largest "
+"While many groups and individuals have contributed to GNU/Linux, the largest "
 "single contributor is still the Free Software Foundation, which created not "
-"only most of the tools used in Linux, but also the philosophy and the "
-"community that made Linux possible."
+"only most of the tools used in GNU/Linux, but also the philosophy and the "
+"community that made GNU/Linux possible."
 msgstr ""
 
 #. Tag: para
@@ -289,22 +292,22 @@ msgstr ""
 #: welcome.xml:194
 #, no-c-format
 msgid ""
-"Linux users have immense freedom of choice in their software. For example, "
-"Linux users can choose from a dozen different command line shells and "
-"several graphical desktops. This selection is often bewildering to users of "
-"other operating systems, who are not used to thinking of the command line or "
-"desktop as something that they can change."
+"GNU/Linux users have immense freedom of choice in their software. For "
+"example, Linux users can choose from a dozen different command line shells "
+"and several graphical desktops. This selection is often bewildering to users "
+"of other operating systems, who are not used to thinking of the command line "
+"or desktop as something that they can change."
 msgstr ""
 
 #. Tag: para
 #: welcome.xml:203
 #, no-c-format
 msgid ""
-"Linux is also less likely to crash, better able to run more than one program "
-"at the same time, and more secure than many operating systems. With these "
-"advantages, Linux is the fastest growing operating system in the server "
-"market. More recently, Linux has begun to be popular among home and business "
-"users as well."
+"GNU/Linux is also less likely to crash, better able to run more than one "
+"program at the same time, and more secure than many operating systems. With "
+"these advantages, GNU/Linux is the fastest growing operating system in the "
+"server market. More recently, GNU/Linux has begun to be popular among home "
+"and business users as well."
 msgstr ""
 
 #. Tag: title