removed man pages

1 files changed, 2 insertions, 2 deletions

diff --git a/tapsets/API-kernel-pointer.html b/tapsets/API-kernel-pointer.html
index 3ec40f4e..bba95a1c 100644
--- a/tapsets/API-kernel-pointer.html
+++ b/tapsets/API-kernel-pointer.html
@@ -2,9 +2,9 @@
  Retrieves a pointer value stored in kernel memory
  </p></div><div class="refsynopsisdiv"><h2>Synopsis</h2><pre class="programlisting">
  kernel_pointer:long(addr:long)
-</pre></div><div class="refsect1"><a name="idm140292849220064"></a><h2>Arguments</h2><div class="variablelist"><dl class="variablelist"><dt><span class="term"><em class="parameter"><code>addr</code></em></span></dt><dd><p>
+</pre></div><div class="refsect1"><a name="idm47872000264128"></a><h2>Arguments</h2><div class="variablelist"><dl class="variablelist"><dt><span class="term"><em class="parameter"><code>addr</code></em></span></dt><dd><p>
  The kernel address to retrieve the pointer from
- </p></dd></dl></div></div><div class="refsect1"><a name="idm140292849216832"></a><h2>Description</h2><p>
+ </p></dd></dl></div></div><div class="refsect1"><a name="idm47872000260896"></a><h2>Description</h2><p>
  Returns the pointer value from a given kernel memory
  address. Reports an error when reading from the given address
  fails.