From 9e2907afe246b3930d9ae6043a2657c4492f4507 Mon Sep 17 00:00:00 2001
From: "Arnold D. Robbins" <arnold@skeeve.com>
Date: Tue, 12 Aug 2014 21:15:26 +0300
Subject: Add div.awk to awklib.

---
 doc/gawk.texi | 13 +++++++++++++
 1 file changed, 13 insertions(+)

(limited to 'doc/gawk.texi')

diff --git a/doc/gawk.texi b/doc/gawk.texi
index f2b455b4..6bbc6562 100644
--- a/doc/gawk.texi
+++ b/doc/gawk.texi
@@ -30565,8 +30565,20 @@ You can simulate the @code{div()} function in standard @command{awk}
 using this user-defined function:
 
 @example
+@c file eg/lib/div.awk
 # div --- do integer division
 
+@c endfile
+@ignore
+@c file eg/lib/div.awk
+#
+# Arnold Robbins, arnold@@skeeve.com, Public Domain
+# July, 2014
+
+@c endfile
+
+@end ignore
+@c file eg/lib/div.awk
 function div(numerator, denominator, result,    i)
 @{
     split("", result)
@@ -30578,6 +30590,7 @@ function div(numerator, denominator, result,    i)
 
     return 0.0
 @}
+@c endfile
 @end example
 
 @node POSIX Floating Point Problems
-- 
cgit v1.2.3