templates/progress.html

   1 <!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Strict//EN"
   2         "http://www.w3.org/TR/xhtml1/DTD/xhtml1-strict.dtd">
   3 <html xmlns="http://www.w3.org/1999/xhtml">
   4 <!-- Part of Objavi2, which turns html manuals into books.
   5 This page shows the progress of the pdf's generation and offers
   6 download options.
   7
   8 Copyright (C) 2009 Douglas Bagnall
   9
  10 This program is free software; you can redistribute it and/or modify
  11 it under the terms of the GNU General Public License as published by
  12 the Free Software Foundation; either version 2 of the License, or
  13 (at your option) any later version.
  14
  15 This program is distributed in the hope that it will be useful,
  16 but WITHOUT ANY WARRANTY; without even the implied warranty of
  17 MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
  18 GNU General Public License for more details.
  19
  20 You should have received a copy of the GNU General Public License along
  21 with this program; if not, write to the Free Software Foundation, Inc.,
  22 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301 USA.
  23 -->
  24
  25   <head>
  26     <title>OBJAVI!</title>
  27     <meta  name="robots" content="noindex" />
  28     <link rel="icon" href="http://www.flossmanuals.net/pub/TWiki//FlossSkin2/fl2.ico" type="image/x-icon" />
  29     <link rel="stylesheet" href="/static/objavi.css" type="text/css" media="screen" />
  30   </head>
  31
  32   <body>
  33     <div id="main">
  34       <h1>OBJAVI! generating %(book)s manual!</h1>
  35
  36       <p>
  37         OBJAVI is working...
  38       </p>
  39       <ol class="tasklist">
  40         %(progress_list)s
  41       </ol>
  42
  43       <p class="oncomplete">
  44         <a href="/books/%(bookname)s">Download the completed manual</a>
  45       </p>
  46
  47     </div>
  48
  49     <script src="/static/jquery.js" type="text/javascript"></script>
  50     <script src="/static/progress.js" type="text/javascript"></script>
  51
  52 <!--
  53     After this comes a series of update script tags, as the server
  54     does stuff.
  55     The script eventually adds </body></html> for good form.
  56 -->
  57