/usr/share/mozart/doc/tools/node9.html is in mozart-doc 1.4.0-8ubuntu1.
This file is owned by root:root, with mode 0o644.
The actual contents of the file can be viewed below.
1 2 | <!DOCTYPE html PUBLIC "-//W3C//DTD HTML 4.0 Transitional//EN">
<HTML><HEAD><TITLE>3.2 Including and Excluding Functors</TITLE><LINK href="ozdoc.css" rel="stylesheet" type="text/css"></HEAD><BODY><TABLE align="center" border="0" cellpadding="6" cellspacing="6" class="nav"><TR bgcolor="#DDDDDD"><TD><A href="node8.html#section.linker.basic"><< Prev</A></TD><TD><A href="node7.html">- Up -</A></TD><TD><A href="node10.html#section.linker.pickling">Next >></A></TD></TR></TABLE><DIV id="section.linker.include"><H2><A name="section.linker.include">3.2 Including and Excluding Functors</A></H2><P> </P><DL><DT><CODE>--relative</CODE> </DT><DD><BLOCKQUOTE class="synopsis"><P><CODE>--relative</CODE> (default), <CODE>--norelative</CODE> </P></BLOCKQUOTE></DD><DD><P>All functors that are referred to by relative urls are included. Import urls in the resulting functor remain relative. </P></DD><DT><CODE>--include</CODE> </DT><DD><BLOCKQUOTE class="synopsis"><P><CODE>--include=</CODE><CODE><I>URL</I></CODE><CODE>,</CODE>...<CODE>,</CODE><CODE><I>URL</I></CODE> </P></BLOCKQUOTE></DD><DD><P>Include all functors whose url matches one of the comma separated url prefixes. </P></DD><DT><CODE>--exclude</CODE> </DT><DD><BLOCKQUOTE class="synopsis"><P><CODE>--exclude=</CODE><CODE><I>URL</I></CODE><CODE>,</CODE>...<CODE>,</CODE><CODE><I>URL</I></CODE> </P></BLOCKQUOTE></DD><DD><P>Exclude all functors whose url matches one of the comma separated url prefixes. </P></DD><DT><CODE>--rewrite</CODE> </DT><DD><BLOCKQUOTE class="synopsis"><P><CODE>--rewrite=</CODE><CODE><I>RULE</I></CODE><CODE>,</CODE>...<CODE>,</CODE><CODE><I>RULE</I></CODE> </P></BLOCKQUOTE></DD><DD><P>When the functors are gathered that make up the linked functor, all import URLs are resolved with respect to the importing functor. This means that all file urls become absolute, and as such make up the import of the output functor. </P><P> This is often not desirable. In the common case that the imported functors lie in the same directory or in subdirectories as the root functor, the <CODE>--relative</CODE> option can be used, in which case the import urls remain relative. </P><P> The <CODE>--rewrite</CODE> option generalizes this principle: It allows to specify a list of rules of the form <CODE> </CODE><CODE><I>FROM</I></CODE><CODE>=</CODE><CODE><I>TO</I></CODE>, meaning: If a url has prefix <CODE><I>FROM</I></CODE>, then replace it by <CODE><I>TO</I></CODE>. The first matching rule is applied. </P></DD></DL><P> </P><P> </P><P> Note that multiple <CODE>--include</CODE> and <CODE>--exclude</CODE> directives can be given on the commandline. They have cummulative effect, with the policy that later directives take precedence over earlier ones. For example: </P><BLOCKQUOTE class="code"><CODE>ozl --include=/foo/ --exclude=/foo/bar/ ...</CODE></BLOCKQUOTE><P> causes all imports from files below directory <CODE>/foo</CODE> to be included except those under directory <CODE>/foo/bar</CODE>. We can further refine this policy by introducing an exception to the last exclusion pattern and request inclusion of modules imported from below directory <CODE>/foo/bar/baz</CODE>: </P><BLOCKQUOTE class="code"><CODE>ozl --include=/foo/ --exclude=/foo/bar/ --include=/foo/bar/baz/ ...</CODE></BLOCKQUOTE><P> </P></DIV><TABLE align="center" border="0" cellpadding="6" cellspacing="6" class="nav"><TR bgcolor="#DDDDDD"><TD><A href="node8.html#section.linker.basic"><< Prev</A></TD><TD><A href="node7.html">- Up -</A></TD><TD><A href="node10.html#section.linker.pickling">Next >></A></TD></TR></TABLE><HR><ADDRESS><A href="http://www.ps.uni-sb.de/~duchier/">Denys Duchier</A>, <A href="http://www.ps.uni-sb.de/~kornstae/">Leif Kornstaedt</A> and <A href="http://www.ps.uni-sb.de/~schulte/">Christian Schulte</A><BR><SPAN class="version">Version 1.4.0 (20110908185330)</SPAN></ADDRESS></BODY></HTML>
|