diff options
| author | Boris Kolpackov <boris@codesynthesis.com> | 2016-02-11 11:35:17 +0200 |
|---|---|---|
| committer | Boris Kolpackov <boris@codesynthesis.com> | 2016-02-11 11:35:17 +0200 |
| commit | 567fb182927ee8ddb984205ace082be4822e3e43 (patch) | |
| tree | 6b1857d03d498fc186ec57ef39a152caf0005fea /doc/intro-prologue.xhtml | |
| parent | ad042e29a399d2c28595d581711eea9645b4c69d (diff) | |
Factor intro pro/epilogues to doc/style submodule
Diffstat (limited to 'doc/intro-prologue.xhtml')
| -rw-r--r-- | doc/intro-prologue.xhtml | 47 |
1 files changed, 0 insertions, 47 deletions
diff --git a/doc/intro-prologue.xhtml b/doc/intro-prologue.xhtml deleted file mode 100644 index 952f724..0000000 --- a/doc/intro-prologue.xhtml +++ /dev/null @@ -1,47 +0,0 @@ -<!DOCTYPE html> -<html xmlns="http://www.w3.org/1999/xhtml"> -<head> - <meta charset="UTF-8"/> - <meta name="viewport" content="width=device-width, initial-scale=1"/> - <meta name="version" content="$version$"/> - - <title>The build2 Toolchain Introduction</title> - - <style type="text/css"> -$./common.css$ -$./pre-box.css$ -$./code-box.css$ -$./toc.css$ -$./intro.css$ - </style> - -</head> -<body> -<div id="content"> - - <div class="noprint"> <!-- Exclude from html2ps. --> - - <div id="titlepage"> - <div class="title">The <code>build2</code> Toolchain Introduction</div> - - <p>Copyright © 2014-2016 <a href="http://codesynthesis.com">Code - Synthesis Ltd</a><br/> - Permission is granted to copy, distribute and/or modify this document - under the terms of the MIT License.</p> - - <p id="revision">Revision <code>$version$</code>, $date$<br/> - This revision of the document describes the <code>build2</code> - toolchain <code>$version$.x</code> series and is available in the following - formats: - <a href="$name$.xhtml">XHTML</a>, - <a href="$name$-a4.pdf">PDF/A4</a>, - <a href="$name$-letter.pdf">PDF/Letter</a>, - <a href="$name$-a4.ps">PostScript/A4</a>, and - <a href="$name$-letter.ps">PostScript/Letter</a>.</p> - </div> - - <h1>Table of Contents</h1> - -$TOC$ - - </div> <!-- noprint --> |