Updated docs for prec%build

This commit is contained in:
Salvatore Filippone
2017-11-12 16:10:46 +00:00
parent ec1f6bd276
commit a044889257
139 changed files with 5636 additions and 5446 deletions
+16 -16
View File
@@ -26,26 +26,26 @@ original version by: Nikos Drakos, CBLU, University of Leeds
<BODY >
<!--Navigation Panel-->
<A NAME="tex2html1719"
<A NAME="tex2html1720"
HREF="node118.html">
<IMG WIDTH="37" HEIGHT="24" ALIGN="BOTTOM" BORDER="0" ALT="next" SRC="next.png"></A>
<A NAME="tex2html1715"
<A NAME="tex2html1716"
HREF="node116.html">
<IMG WIDTH="26" HEIGHT="24" ALIGN="BOTTOM" BORDER="0" ALT="up" SRC="up.png"></A>
<A NAME="tex2html1709"
<A NAME="tex2html1710"
HREF="node116.html">
<IMG WIDTH="63" HEIGHT="24" ALIGN="BOTTOM" BORDER="0" ALT="previous" SRC="prev.png"></A>
<A NAME="tex2html1717"
<A NAME="tex2html1718"
HREF="node1.html">
<IMG WIDTH="65" HEIGHT="24" ALIGN="BOTTOM" BORDER="0" ALT="contents" SRC="contents.png"></A>
<BR>
<B> Next:</B> <A NAME="tex2html1720"
<B> Next:</B> <A NAME="tex2html1721"
HREF="node118.html">hb_write Write</A>
<B> Up:</B> <A NAME="tex2html1716"
<B> Up:</B> <A NAME="tex2html1717"
HREF="node116.html">Utilities</A>
<B> Previous:</B> <A NAME="tex2html1710"
<B> Previous:</B> <A NAME="tex2html1711"
HREF="node116.html">Utilities</A>
&nbsp; <B> <A NAME="tex2html1718"
&nbsp; <B> <A NAME="tex2html1719"
HREF="node1.html">Contents</A></B>
<BR>
<BR>
@@ -134,26 +134,26 @@ An integer value; 0 means no error has been detected.
<P>
<HR>
<!--Navigation Panel-->
<A NAME="tex2html1719"
<A NAME="tex2html1720"
HREF="node118.html">
<IMG WIDTH="37" HEIGHT="24" ALIGN="BOTTOM" BORDER="0" ALT="next" SRC="next.png"></A>
<A NAME="tex2html1715"
<A NAME="tex2html1716"
HREF="node116.html">
<IMG WIDTH="26" HEIGHT="24" ALIGN="BOTTOM" BORDER="0" ALT="up" SRC="up.png"></A>
<A NAME="tex2html1709"
<A NAME="tex2html1710"
HREF="node116.html">
<IMG WIDTH="63" HEIGHT="24" ALIGN="BOTTOM" BORDER="0" ALT="previous" SRC="prev.png"></A>
<A NAME="tex2html1717"
<A NAME="tex2html1718"
HREF="node1.html">
<IMG WIDTH="65" HEIGHT="24" ALIGN="BOTTOM" BORDER="0" ALT="contents" SRC="contents.png"></A>
<BR>
<B> Next:</B> <A NAME="tex2html1720"
<B> Next:</B> <A NAME="tex2html1721"
HREF="node118.html">hb_write Write</A>
<B> Up:</B> <A NAME="tex2html1716"
<B> Up:</B> <A NAME="tex2html1717"
HREF="node116.html">Utilities</A>
<B> Previous:</B> <A NAME="tex2html1710"
<B> Previous:</B> <A NAME="tex2html1711"
HREF="node116.html">Utilities</A>
&nbsp; <B> <A NAME="tex2html1718"
&nbsp; <B> <A NAME="tex2html1719"
HREF="node1.html">Contents</A></B>
<!--End of Navigation Panel-->