[Sommaire] [Imprimer]

   1  <!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.0 Transitional//EN" "http://www.w3.org/TR/REC-html40/loose.dtd">
   2  <HTML>
   3  <HEAD>
   4  <META HTTP-EQUIV="Content-Type" CONTENT="text/html; CHARSET=iso-iso-8859-1">
   5  <LINK REL="Start" HREF="index.html">
   6  <LINK REL="Contents" HREF="toc.html">
   7  <LINK REL="Prev" HREF="11Versionhistory.html">
   8  <LINK REL="Next" HREF="2Introduction.html">
   9  <STYLE TYPE="text/css"><!--
  10  BODY { font-family: serif }
  11  H1 { font-family: sans-serif }
  12  H2 { font-family: sans-serif }
  13  H3 { font-family: sans-serif }
  14  H4 { font-family: sans-serif }
  15  H5 { font-family: sans-serif }
  16  H6 { font-family: sans-serif }
  17  SUB { font-size: smaller }
  18  SUP { font-size: smaller }
  19  PRE { font-family: monospace }
  20  A { text-decoration: none }
  21  --></STYLE>
  22  </HEAD>
  23  <BODY>
  24  <A HREF="toc.html">Contents</A>
  25  <A HREF="11Versionhistory.html">Previous</A>
  26  <A HREF="2Introduction.html">Next</A>
  27  <HR NOSHADE>
  28  <H2><A NAME="1_2">1.2 How was this manual produced?</A></H2>
  29  <P> The bulk of the text was written directly in Emacs on a GNU/Linux
  30   system in a mixture of PHP and HTML. A number of PHP functions were
  31   used to automate the handling of formatting example code and figures.</P>
  32  <P> To generate the images automatically in the img directory a custom
  33   awk-script is used to extract all the used image script from the
  34   manual. The script then uses the client version of PHP generate the
  35   images from the scripts and stores them in the 'img' directory.</P>
  36  <P> The final set of HTML files was then processes by HTMLDOC to
  37   construct table of contents and chapter links.</P>
  38  <HR NOSHADE>
  39  <A HREF="toc.html">Contents</A>
  40  <A HREF="11Versionhistory.html">Previous</A>
  41  <A HREF="2Introduction.html">Next</A>
  42  </BODY>
  43  </HTML>