removed man pages

1 files changed, 2 insertions, 2 deletions

diff --git a/tapsets/API-set-user-pointer.html b/tapsets/API-set-user-pointer.html
index de9c7602..18c363e3 100644
--- a/tapsets/API-set-user-pointer.html
+++ b/tapsets/API-set-user-pointer.html
@@ -2,11 +2,11 @@
  Writes a pointer value to user memory.
  </p></div><div class="refsynopsisdiv"><h2>Synopsis</h2><pre class="programlisting">
  set_user_pointer(addr:long,val:long)
-</pre></div><div class="refsect1"><a name="idp71424422508736"></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="idp72313404598512"></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 user address to write the pointer to
  </p></dd><dt><span class="term"><em class="parameter"><code>val</code></em></span></dt><dd><p>
  The pointer which is to be written
- </p></dd></dl></div></div><div class="refsect1"><a name="idp71424422513952"></a><h2>Description</h2><p>
+ </p></dd></dl></div></div><div class="refsect1"><a name="idp72313404603728"></a><h2>Description</h2><p>
  Writes the pointer value to a given user memory address.
  Reports an error when writing to the given address fails.
  Requires the use of guru mode (-g).