Update docs for remote build.

This commit is contained in:
Salvatore Filippone
2022-02-07 16:54:37 +01:00
parent 4a7f9d786d
commit fef69bf799
27 changed files with 2066 additions and 2006 deletions
+7 -7
View File
@@ -10,7 +10,7 @@
<link rel="stylesheet" type="text/css" href="userhtml.css">
</head><body
>
<!--l. 1321--><div class="crosslinks"><p class="noindent">[<a
<!--l. 1334--><div class="crosslinks"><p class="noindent">[<a
href="userhtmlsu52.html" >next</a>] [<a
href="userhtmlsu47.html" >prev</a>] [<a
href="userhtmlsu47.html#tailuserhtmlsu47.html" >prev-tail</a>] [<a
@@ -24,8 +24,8 @@ href="userhtmlsu32.html#userhtmlsu51.html" >up</a>] </p></div>
<pre class="verbatim" id="verbatim-52">
call&#x00A0;psb_is_owned(x,&#x00A0;desc_a)
</pre>
<!--l. 1326--><p class="nopar" >
<!--l. 1328--><p class="indent" >
<!--l. 1339--><p class="nopar" >
<!--l. 1341--><p class="indent" >
<dl class="description"><dt class="description">
<span
class="cmbx-10">Type:</span> </dt><dd
@@ -62,7 +62,7 @@ href="userhtmlsu5.html#descdata"><span
class="cmtt-10">psb</span><span
class="cmtt-10">_desc</span><span
class="cmtt-10">_type</span></a>.</dd></dl>
<!--l. 1343--><p class="indent" >
<!--l. 1356--><p class="indent" >
<dl class="description"><dt class="description">
<span
class="cmbx-10">On Return</span> </dt><dd
@@ -79,7 +79,7 @@ class="cmbx-10">required</span><br
class="newline" />Intent: <span
class="cmbx-10">out</span>.<br
class="newline" /></dd></dl>
<!--l. 1353--><p class="noindent" ><span
<!--l. 1366--><p class="noindent" ><span
class="cmbx-12">Notes</span>
<ol class="enumerate1" >
<li
@@ -92,12 +92,12 @@ class="cmtt-10">.true.</span></span></span> value for an index that is strictly
<!--l. 1361--><div class="crosslinks"><p class="noindent">[<a
<!--l. 1374--><div class="crosslinks"><p class="noindent">[<a
href="userhtmlsu52.html" >next</a>] [<a
href="userhtmlsu47.html" >prev</a>] [<a
href="userhtmlsu47.html#tailuserhtmlsu47.html" >prev-tail</a>] [<a
href="userhtmlsu48.html" >front</a>] [<a
href="userhtmlsu32.html#userhtmlsu51.html" >up</a>] </p></div>
<!--l. 1361--><p class="indent" > <a
<!--l. 1374--><p class="indent" > <a
id="tailuserhtmlsu48.html"></a>
</body></html>