This file is indexed.

/usr/share/mozart/doc/contrib/node4.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>2.2 Installation</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="node3.html#chapter.gdbm.interface">&lt;&lt; Prev</A></TD><TD><A href="node2.html">- Up -</A></TD></TR></TABLE><DIV id="chapter.gdbm.install"><H2><A name="chapter.gdbm.install">2.2 Installation</A></H2><P>The GDBM library must be available on your system as a shared object library. For Linux systems, this is normally the case. For other systems, it may need to be built and installed. Newer versions of GDBM (e.&nbsp;g. 1.8.0) will automatically build a shared object library if that is possible on your system. Thus you should download the most recent version of GDBM from <A href="ftp://ftp.gnu.org/gnu/gdbm/"><CODE>ftp://ftp.gnu.org/gnu/gdbm/</CODE></A> and install it on your system.</P><P>If, for some bizarre reason, you must use an older version, the standard distribution needs to be patched to compile for <EM>position independent code</EM> and to create a shared object library. Thus, for the older version 1.7.3, we provide a fix for the standard gdbm distribution: its purpose is to automate the creation of the shared object library. Both the standard gdbm 1.7.3 distribution and our fix can be downloaded from our ftp server: </P><UL><LI><P><A href="http://www.mozart-oz.org/download/mozart-ftp/extras/gdbm-1.7.3.tar.gz">http://www.mozart-oz.org/download/mozart-ftp/extras/gdbm-1.7.3.tar.gz</A> </P></LI><LI><P><A href="http://www.mozart-oz.org/download/mozart-ftp/extras/gdbm-1.7.3-fix.tar.gz">http://www.mozart-oz.org/download/mozart-ftp/extras/gdbm-1.7.3-fix.tar.gz</A> </P></LI></UL><P> They both unpack into the same directory (namely <CODE>gdbm-1.7.3</CODE>). You should unpack the standard distribution first, then our fix since it overwrites certain files. </P><BLOCKQUOTE class="code"><CODE>tar&nbsp;zxf&nbsp;gdbm-1.7.3.tar.gz<BR>tar&nbsp;zxf&nbsp;gdbm-1.7.3-fix.tar.gz<BR><SPAN class="builtin">cd</SPAN>&nbsp;gdbm-1.7.3<BR>./configure<BR>make<BR>make&nbsp;install</CODE></BLOCKQUOTE><P> We also make available the following targets: <CODE>install.so</CODE>, <CODE>install.h</CODE>, <CODE>install.man</CODE>, <CODE>install.info</CODE>.</P><P>If you install in a non-standard directory, you may have to set <CODE>LD_LIBRARY_PATH</CODE> appropriately so that <CODE>libgdbm.so</CODE> may be found.</P></DIV><TABLE align="center" border="0" cellpadding="6" cellspacing="6" class="nav"><TR bgcolor="#DDDDDD"><TD><A href="node3.html#chapter.gdbm.interface">&lt;&lt; Prev</A></TD><TD><A href="node2.html">- Up -</A></TD></TR></TABLE><HR><ADDRESS><A href="http://www.ps.uni-sb.de/~duchier/">Denys&nbsp;Duchier</A> and&nbsp;<A href="http://www.ps.uni-sb.de/~kornstae/">Leif&nbsp;Kornstaedt</A><BR><SPAN class="version">Version 1.4.0 (20110908185330)</SPAN></ADDRESS></BODY></HTML>