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/gawktexi.in | 13 +++++++++++++
 1 file changed, 13 insertions(+)

(limited to 'doc/gawktexi.in')

diff --git a/doc/gawktexi.in b/doc/gawktexi.in
index bb94aa1f..bca15569 100644
--- a/doc/gawktexi.in
+++ b/doc/gawktexi.in
@@ -29680,8 +29680,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)
@@ -29693,6 +29705,7 @@ function div(numerator, denominator, result,    i)
 
     return 0.0
 @}
+@c endfile
 @end example
 
 @node POSIX Floating Point Problems
-- 
cgit v1.2.3