manual/examples: Remove redundant "if not"

Replace "if not, if not," with "if not,".

	* manual/examples/add.c: Remove redundant "if not".
	* manual/examples/argp-ex1.c: Likewise.
	* manual/examples/argp-ex2.c: Likewise.
	* manual/examples/argp-ex3.c: Likewise.
	* manual/examples/argp-ex4.c: Likewise.
	* manual/examples/atexit.c: Likewise.
	* manual/examples/db.c: Likewise.
	* manual/examples/dir.c: Likewise.
	* manual/examples/dir2.c: Likewise.
	* manual/examples/execinfo.c: Likewise.
	* manual/examples/filecli.c: Likewise.
	* manual/examples/filesrv.c: Likewise.
	* manual/examples/fmtmsgexpl.c: Likewise.
	* manual/examples/genpass.c: Likewise.
	* manual/examples/inetcli.c: Likewise.
	* manual/examples/inetsrv.c: Likewise.
	* manual/examples/isockad.c: Likewise.
	* manual/examples/longopt.c: Likewise.
	* manual/examples/memopen.c: Likewise.
	* manual/examples/memstrm.c: Likewise.
	* manual/examples/mkdirent.c: Likewise.
	* manual/examples/mkfsock.c: Likewise.
	* manual/examples/mkisock.c: Likewise.
	* manual/examples/mygetpass.c: Likewise.
	* manual/examples/pipe.c: Likewise.
	* manual/examples/popen.c: Likewise.
	* manual/examples/rprintf.c: Likewise.
	* manual/examples/search.c: Likewise.
	* manual/examples/select.c: Likewise.
	* manual/examples/setjmp.c: Likewise.
	* manual/examples/sigh1.c: Likewise.
	* manual/examples/sigusr.c: Likewise.
	* manual/examples/stpcpy.c: Likewise.
	* manual/examples/strdupa.c: Likewise.
	* manual/examples/strftim.c: Likewise.
	* manual/examples/subopt.c: Likewise.
	* manual/examples/swapcontext.c: Likewise.
	* manual/examples/termios.c: Likewise.
	* manual/examples/testopt.c: Likewise.
	* manual/examples/testpass.c: Likewise.
	* manual/examples/timeval_subtract.c: Likewise.

41 files changed, 41 insertions, 41 deletions

diff --git a/manual/examples/add.c b/manual/examples/add.c
index 88d3e3d..5b502c6 100644
--- a/manual/examples/add.c
+++ b/manual/examples/add.c
@@ -12,7 +12,7 @@
    GNU General Public License for more details.
 
    You should have received a copy of the GNU General Public License
-   along with this program; if not, if not, see <http://www.gnu.org/licenses/>.
+   along with this program; if not, see <http://www.gnu.org/licenses/>.
 */
 
 #include <stdarg.h>
diff --git a/manual/examples/argp-ex1.c b/manual/examples/argp-ex1.c
index 900af1a..2b76129 100644
--- a/manual/examples/argp-ex1.c
+++ b/manual/examples/argp-ex1.c
@@ -12,7 +12,7 @@
    GNU General Public License for more details.
 
    You should have received a copy of the GNU General Public License
-   along with this program; if not, if not, see <http://www.gnu.org/licenses/>.
+   along with this program; if not, see <http://www.gnu.org/licenses/>.
 */
 
 /* This is (probably) the smallest possible program that
diff --git a/manual/examples/argp-ex2.c b/manual/examples/argp-ex2.c
index 2465d41..50faf6b 100644
--- a/manual/examples/argp-ex2.c
+++ b/manual/examples/argp-ex2.c
@@ -12,7 +12,7 @@
    GNU General Public License for more details.
 
    You should have received a copy of the GNU General Public License
-   along with this program; if not, if not, see <http://www.gnu.org/licenses/>.
+   along with this program; if not, see <http://www.gnu.org/licenses/>.
 */
 
 /* This program doesn't use any options or arguments, but uses
diff --git a/manual/examples/argp-ex3.c b/manual/examples/argp-ex3.c
index efec8e8..76d658a 100644
--- a/manual/examples/argp-ex3.c
+++ b/manual/examples/argp-ex3.c
@@ -12,7 +12,7 @@
    GNU General Public License for more details.
 
    You should have received a copy of the GNU General Public License
-   along with this program; if not, if not, see <http://www.gnu.org/licenses/>.
+   along with this program; if not, see <http://www.gnu.org/licenses/>.
 */
 
 /* This program uses the same features as example 2, and uses options and
diff --git a/manual/examples/argp-ex4.c b/manual/examples/argp-ex4.c
index f560e38..4b38f038 100644
--- a/manual/examples/argp-ex4.c
+++ b/manual/examples/argp-ex4.c
@@ -12,7 +12,7 @@
    GNU General Public License for more details.
 
    You should have received a copy of the GNU General Public License
-   along with this program; if not, if not, see <http://www.gnu.org/licenses/>.
+   along with this program; if not, see <http://www.gnu.org/licenses/>.
 */
 
 /* This program uses the same features as example 3, but has more
diff --git a/manual/examples/atexit.c b/manual/examples/atexit.c
index 718651e..57def3b 100644
--- a/manual/examples/atexit.c
+++ b/manual/examples/atexit.c
@@ -12,7 +12,7 @@
    GNU General Public License for more details.
 
    You should have received a copy of the GNU General Public License
-   along with this program; if not, if not, see <http://www.gnu.org/licenses/>.
+   along with this program; if not, see <http://www.gnu.org/licenses/>.
 */
 
 #include <stdio.h>
diff --git a/manual/examples/db.c b/manual/examples/db.c
index 93602de..ec60cd7 100644
--- a/manual/examples/db.c
+++ b/manual/examples/db.c
@@ -12,7 +12,7 @@
    GNU General Public License for more details.
 
    You should have received a copy of the GNU General Public License
-   along with this program; if not, if not, see <http://www.gnu.org/licenses/>.
+   along with this program; if not, see <http://www.gnu.org/licenses/>.
 */
 
 #include <grp.h>
diff --git a/manual/examples/dir.c b/manual/examples/dir.c
index f9d314a..a7d3771 100644
--- a/manual/examples/dir.c
+++ b/manual/examples/dir.c
@@ -12,7 +12,7 @@
    GNU General Public License for more details.
 
    You should have received a copy of the GNU General Public License
-   along with this program; if not, if not, see <http://www.gnu.org/licenses/>.
+   along with this program; if not, see <http://www.gnu.org/licenses/>.
 */
 
 /*@group*/
diff --git a/manual/examples/dir2.c b/manual/examples/dir2.c
index 1403bb4..bba417d 100644
--- a/manual/examples/dir2.c
+++ b/manual/examples/dir2.c
@@ -12,7 +12,7 @@
    GNU General Public License for more details.
 
    You should have received a copy of the GNU General Public License
-   along with this program; if not, if not, see <http://www.gnu.org/licenses/>.
+   along with this program; if not, see <http://www.gnu.org/licenses/>.
 */
 
 /*@group*/
diff --git a/manual/examples/execinfo.c b/manual/examples/execinfo.c
index 112134a..2d82625 100644
--- a/manual/examples/execinfo.c
+++ b/manual/examples/execinfo.c
@@ -12,7 +12,7 @@
    GNU General Public License for more details.
 
    You should have received a copy of the GNU General Public License
-   along with this program; if not, if not, see <http://www.gnu.org/licenses/>.
+   along with this program; if not, see <http://www.gnu.org/licenses/>.
 */
 
 #include <execinfo.h>
diff --git a/manual/examples/filecli.c b/manual/examples/filecli.c
index dcdb825..89b8626 100644
--- a/manual/examples/filecli.c
+++ b/manual/examples/filecli.c
@@ -12,7 +12,7 @@
    GNU General Public License for more details.
 
    You should have received a copy of the GNU General Public License
-   along with this program; if not, if not, see <http://www.gnu.org/licenses/>.
+   along with this program; if not, see <http://www.gnu.org/licenses/>.
 */
 
 #include <stdio.h>
diff --git a/manual/examples/filesrv.c b/manual/examples/filesrv.c
index 7d9f507..c4a4998 100644
--- a/manual/examples/filesrv.c
+++ b/manual/examples/filesrv.c
@@ -12,7 +12,7 @@
    GNU General Public License for more details.
 
    You should have received a copy of the GNU General Public License
-   along with this program; if not, if not, see <http://www.gnu.org/licenses/>.
+   along with this program; if not, see <http://www.gnu.org/licenses/>.
 */
 
 #include <stdio.h>
diff --git a/manual/examples/fmtmsgexpl.c b/manual/examples/fmtmsgexpl.c
index 8c1e058..328e98b 100644
--- a/manual/examples/fmtmsgexpl.c
+++ b/manual/examples/fmtmsgexpl.c
@@ -12,7 +12,7 @@
    GNU General Public License for more details.
 
    You should have received a copy of the GNU General Public License
-   along with this program; if not, if not, see <http://www.gnu.org/licenses/>.
+   along with this program; if not, see <http://www.gnu.org/licenses/>.
 */
 
 #include <fmtmsg.h>
diff --git a/manual/examples/genpass.c b/manual/examples/genpass.c
index 23d2078..e729dd2 100644
--- a/manual/examples/genpass.c
+++ b/manual/examples/genpass.c
@@ -12,7 +12,7 @@
    GNU General Public License for more details.
 
    You should have received a copy of the GNU General Public License
-   along with this program; if not, if not, see <http://www.gnu.org/licenses/>.
+   along with this program; if not, see <http://www.gnu.org/licenses/>.
 */
 
 #include <stdio.h>
diff --git a/manual/examples/inetcli.c b/manual/examples/inetcli.c
index bcc060b..0718480 100644
--- a/manual/examples/inetcli.c
+++ b/manual/examples/inetcli.c
@@ -12,7 +12,7 @@
    GNU General Public License for more details.
 
    You should have received a copy of the GNU General Public License
-   along with this program; if not, if not, see <http://www.gnu.org/licenses/>.
+   along with this program; if not, see <http://www.gnu.org/licenses/>.
 */
 
 #include <stdio.h>
diff --git a/manual/examples/inetsrv.c b/manual/examples/inetsrv.c
index ea590fe..249457b 100644
--- a/manual/examples/inetsrv.c
+++ b/manual/examples/inetsrv.c
@@ -12,7 +12,7 @@
    GNU General Public License for more details.
 
    You should have received a copy of the GNU General Public License
-   along with this program; if not, if not, see <http://www.gnu.org/licenses/>.
+   along with this program; if not, see <http://www.gnu.org/licenses/>.
 */
 
 #include <stdio.h>
diff --git a/manual/examples/isockad.c b/manual/examples/isockad.c
index 4a55e7a..2bc4f5e 100644
--- a/manual/examples/isockad.c
+++ b/manual/examples/isockad.c
@@ -12,7 +12,7 @@
    GNU General Public License for more details.
 
    You should have received a copy of the GNU General Public License
-   along with this program; if not, if not, see <http://www.gnu.org/licenses/>.
+   along with this program; if not, see <http://www.gnu.org/licenses/>.
 */
 
 #include <stdio.h>
diff --git a/manual/examples/longopt.c b/manual/examples/longopt.c
index 4f33d52..698caf0 100644
--- a/manual/examples/longopt.c
+++ b/manual/examples/longopt.c
@@ -12,7 +12,7 @@
    GNU General Public License for more details.
 
    You should have received a copy of the GNU General Public License
-   along with this program; if not, if not, see <http://www.gnu.org/licenses/>.
+   along with this program; if not, see <http://www.gnu.org/licenses/>.
 */
 
 #include <stdio.h>
diff --git a/manual/examples/memopen.c b/manual/examples/memopen.c
index 7ffd06b..b71607c 100644
--- a/manual/examples/memopen.c
+++ b/manual/examples/memopen.c
@@ -12,7 +12,7 @@
    GNU General Public License for more details.
 
    You should have received a copy of the GNU General Public License
-   along with this program; if not, if not, see <http://www.gnu.org/licenses/>.
+   along with this program; if not, see <http://www.gnu.org/licenses/>.
 */
 
 #include <stdio.h>
diff --git a/manual/examples/memstrm.c b/manual/examples/memstrm.c
index 65147c8..5c57fdd 100644
--- a/manual/examples/memstrm.c
+++ b/manual/examples/memstrm.c
@@ -12,7 +12,7 @@
    GNU General Public License for more details.
 
    You should have received a copy of the GNU General Public License
-   along with this program; if not, if not, see <http://www.gnu.org/licenses/>.
+   along with this program; if not, see <http://www.gnu.org/licenses/>.
 */
 
 #include <stdio.h>
diff --git a/manual/examples/mkdirent.c b/manual/examples/mkdirent.c
index cb19c1f..445dd0f 100644
--- a/manual/examples/mkdirent.c
+++ b/manual/examples/mkdirent.c
@@ -12,7 +12,7 @@
    GNU General Public License for more details.
 
    You should have received a copy of the GNU General Public License
-   along with this program; if not, if not, see <http://www.gnu.org/licenses/>.
+   along with this program; if not, see <http://www.gnu.org/licenses/>.
 */
 
 #include <dirent.h>
diff --git a/manual/examples/mkfsock.c b/manual/examples/mkfsock.c
index ebce75f..6865449 100644
--- a/manual/examples/mkfsock.c
+++ b/manual/examples/mkfsock.c
@@ -12,7 +12,7 @@
    GNU General Public License for more details.
 
    You should have received a copy of the GNU General Public License
-   along with this program; if not, if not, see <http://www.gnu.org/licenses/>.
+   along with this program; if not, see <http://www.gnu.org/licenses/>.
 */
 
 #include <stddef.h>
diff --git a/manual/examples/mkisock.c b/manual/examples/mkisock.c
index 1a13c54..eaf316e 100644
--- a/manual/examples/mkisock.c
+++ b/manual/examples/mkisock.c
@@ -12,7 +12,7 @@
    GNU General Public License for more details.
 
    You should have received a copy of the GNU General Public License
-   along with this program; if not, if not, see <http://www.gnu.org/licenses/>.
+   along with this program; if not, see <http://www.gnu.org/licenses/>.
 */
 
 #include <stdio.h>
diff --git a/manual/examples/mygetpass.c b/manual/examples/mygetpass.c
index 3f465ac..65c732c 100644
--- a/manual/examples/mygetpass.c
+++ b/manual/examples/mygetpass.c
@@ -12,7 +12,7 @@
    GNU General Public License for more details.
 
    You should have received a copy of the GNU General Public License
-   along with this program; if not, if not, see <http://www.gnu.org/licenses/>.
+   along with this program; if not, see <http://www.gnu.org/licenses/>.
 */
 
 #include <termios.h>
diff --git a/manual/examples/pipe.c b/manual/examples/pipe.c
index 25fed7f..71a25ed 100644
--- a/manual/examples/pipe.c
+++ b/manual/examples/pipe.c
@@ -12,7 +12,7 @@
    GNU General Public License for more details.
 
    You should have received a copy of the GNU General Public License
-   along with this program; if not, if not, see <http://www.gnu.org/licenses/>.
+   along with this program; if not, see <http://www.gnu.org/licenses/>.
 */
 
 #include <sys/types.h>
diff --git a/manual/examples/popen.c b/manual/examples/popen.c
index 566dbf3..e6ac3bf 100644
--- a/manual/examples/popen.c
+++ b/manual/examples/popen.c
@@ -12,7 +12,7 @@
    GNU General Public License for more details.
 
    You should have received a copy of the GNU General Public License
-   along with this program; if not, if not, see <http://www.gnu.org/licenses/>.
+   along with this program; if not, see <http://www.gnu.org/licenses/>.
 */
 
 #include <stdio.h>
diff --git a/manual/examples/rprintf.c b/manual/examples/rprintf.c
index 917db08..9f31fa2 100644
--- a/manual/examples/rprintf.c
+++ b/manual/examples/rprintf.c
@@ -12,7 +12,7 @@
    GNU General Public License for more details.
 
    You should have received a copy of the GNU General Public License
-   along with this program; if not, if not, see <http://www.gnu.org/licenses/>.
+   along with this program; if not, see <http://www.gnu.org/licenses/>.
 */
 
 #include <stdio.h>
diff --git a/manual/examples/search.c b/manual/examples/search.c
index 624cf50..9d43c84 100644
--- a/manual/examples/search.c
+++ b/manual/examples/search.c
@@ -12,7 +12,7 @@
    GNU General Public License for more details.
 
    You should have received a copy of the GNU General Public License
-   along with this program; if not, if not, see <http://www.gnu.org/licenses/>.
+   along with this program; if not, see <http://www.gnu.org/licenses/>.
 */
 
 #include <stdlib.h>
diff --git a/manual/examples/select.c b/manual/examples/select.c
index 2a92d53..fe9999e 100644
--- a/manual/examples/select.c
+++ b/manual/examples/select.c
@@ -12,7 +12,7 @@
    GNU General Public License for more details.
 
    You should have received a copy of the GNU General Public License
-   along with this program; if not, if not, see <http://www.gnu.org/licenses/>.
+   along with this program; if not, see <http://www.gnu.org/licenses/>.
 */
 
 /*@group*/
diff --git a/manual/examples/setjmp.c b/manual/examples/setjmp.c
index cc9ccc7..47d6a3e 100644
--- a/manual/examples/setjmp.c
+++ b/manual/examples/setjmp.c
@@ -12,7 +12,7 @@
    GNU General Public License for more details.
 
    You should have received a copy of the GNU General Public License
-   along with this program; if not, if not, see <http://www.gnu.org/licenses/>.
+   along with this program; if not, see <http://www.gnu.org/licenses/>.
 */
 
 #include <setjmp.h>
diff --git a/manual/examples/sigh1.c b/manual/examples/sigh1.c
index 9fe0fd2..3dbe826 100644
--- a/manual/examples/sigh1.c
+++ b/manual/examples/sigh1.c
@@ -12,7 +12,7 @@
    GNU General Public License for more details.
 
    You should have received a copy of the GNU General Public License
-   along with this program; if not, if not, see <http://www.gnu.org/licenses/>.
+   along with this program; if not, see <http://www.gnu.org/licenses/>.
 */
 
 #include <signal.h>
diff --git a/manual/examples/sigusr.c b/manual/examples/sigusr.c
index 7dfb4cf..6a92567 100644
--- a/manual/examples/sigusr.c
+++ b/manual/examples/sigusr.c
@@ -12,7 +12,7 @@
    GNU General Public License for more details.
 
    You should have received a copy of the GNU General Public License
-   along with this program; if not, if not, see <http://www.gnu.org/licenses/>.
+   along with this program; if not, see <http://www.gnu.org/licenses/>.
 */
 
 /*@group*/
diff --git a/manual/examples/stpcpy.c b/manual/examples/stpcpy.c
index ab0befd..542f193 100644
--- a/manual/examples/stpcpy.c
+++ b/manual/examples/stpcpy.c
@@ -12,7 +12,7 @@
    GNU General Public License for more details.
 
    You should have received a copy of the GNU General Public License
-   along with this program; if not, if not, see <http://www.gnu.org/licenses/>.
+   along with this program; if not, see <http://www.gnu.org/licenses/>.
 */
 
 #include <string.h>
diff --git a/manual/examples/strdupa.c b/manual/examples/strdupa.c
index 7dc4180..a8d108a 100644
--- a/manual/examples/strdupa.c
+++ b/manual/examples/strdupa.c
@@ -12,7 +12,7 @@
    GNU General Public License for more details.
 
    You should have received a copy of the GNU General Public License
-   along with this program; if not, if not, see <http://www.gnu.org/licenses/>.
+   along with this program; if not, see <http://www.gnu.org/licenses/>.
 */
 
 #include <paths.h>
diff --git a/manual/examples/strftim.c b/manual/examples/strftim.c
index 2b7e48a..1120f34 100644
--- a/manual/examples/strftim.c
+++ b/manual/examples/strftim.c
@@ -12,7 +12,7 @@
    GNU General Public License for more details.
 
    You should have received a copy of the GNU General Public License
-   along with this program; if not, if not, see <http://www.gnu.org/licenses/>.
+   along with this program; if not, see <http://www.gnu.org/licenses/>.
 */
 
 #include <time.h>
diff --git a/manual/examples/subopt.c b/manual/examples/subopt.c
index a3fba4b..b04b004 100644
--- a/manual/examples/subopt.c
+++ b/manual/examples/subopt.c
@@ -12,7 +12,7 @@
    GNU General Public License for more details.
 
    You should have received a copy of the GNU General Public License
-   along with this program; if not, if not, see <http://www.gnu.org/licenses/>.
+   along with this program; if not, see <http://www.gnu.org/licenses/>.
 */
 
 #include <stdio.h>
diff --git a/manual/examples/swapcontext.c b/manual/examples/swapcontext.c
index d0b7b2b..13cd207 100644
--- a/manual/examples/swapcontext.c
+++ b/manual/examples/swapcontext.c
@@ -12,7 +12,7 @@
    GNU General Public License for more details.
 
    You should have received a copy of the GNU General Public License
-   along with this program; if not, if not, see <http://www.gnu.org/licenses/>.
+   along with this program; if not, see <http://www.gnu.org/licenses/>.
 */
 
 #include <signal.h>
diff --git a/manual/examples/termios.c b/manual/examples/termios.c
index e4e5a55..115e524 100644
--- a/manual/examples/termios.c
+++ b/manual/examples/termios.c
@@ -12,7 +12,7 @@
    GNU General Public License for more details.
 
    You should have received a copy of the GNU General Public License
-   along with this program; if not, if not, see <http://www.gnu.org/licenses/>.
+   along with this program; if not, see <http://www.gnu.org/licenses/>.
 */
 
 #include <unistd.h>
diff --git a/manual/examples/testopt.c b/manual/examples/testopt.c
index 6249f2a..8bffc52 100644
--- a/manual/examples/testopt.c
+++ b/manual/examples/testopt.c
@@ -12,7 +12,7 @@
    GNU General Public License for more details.
 
    You should have received a copy of the GNU General Public License
-   along with this program; if not, if not, see <http://www.gnu.org/licenses/>.
+   along with this program; if not, see <http://www.gnu.org/licenses/>.
 */
 
 /*@group*/
diff --git a/manual/examples/testpass.c b/manual/examples/testpass.c
index f8883fe..0b8e8a5 100644
--- a/manual/examples/testpass.c
+++ b/manual/examples/testpass.c
@@ -12,7 +12,7 @@
    GNU General Public License for more details.
 
    You should have received a copy of the GNU General Public License
-   along with this program; if not, if not, see <http://www.gnu.org/licenses/>.
+   along with this program; if not, see <http://www.gnu.org/licenses/>.
 */
 
 #include <stdio.h>
diff --git a/manual/examples/timeval_subtract.c b/manual/examples/timeval_subtract.c
index 77265bb..aeb0c39 100644
--- a/manual/examples/timeval_subtract.c
+++ b/manual/examples/timeval_subtract.c
@@ -12,7 +12,7 @@
    GNU General Public License for more details.
 
    You should have received a copy of the GNU General Public License
-   along with this program; if not, if not, see <http://www.gnu.org/licenses/>.
+   along with this program; if not, see <http://www.gnu.org/licenses/>.
 */
 
 /* Subtract the `struct timeval' values X and Y,