summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorChristian Faulhammer <fauli@gentoo.org>2009-02-18 09:30:46 +0100
committerCiaran McCreesh <ciaran.mccreesh@googlemail.com>2009-02-20 16:47:36 +0000
commit70c5dbab3e126f92ed7d9650224bec15feb9ead9 (patch)
tree0c4ecb0c4c6307091fe3f4f1ccb1ee3e978ecc88 /pms.tex
parentAdd prefixes to labels. (diff)
downloadpms-70c5dbab3e126f92ed7d9650224bec15feb9ead9.tar.gz
pms-70c5dbab3e126f92ed7d9650224bec15feb9ead9.tar.bz2
pms-70c5dbab3e126f92ed7d9650224bec15feb9ead9.zip
Use date from VC system
Make the \date command aware of the version control system by adding the vc package (public-domain) and thus display date of last commit and not of generation as long as a Git repository is available.
Diffstat (limited to 'pms.tex')
-rw-r--r--pms.tex11
1 files changed, 10 insertions, 1 deletions
diff --git a/pms.tex b/pms.tex
index 6fd03cb..8a14f30 100644
--- a/pms.tex
+++ b/pms.tex
@@ -1,4 +1,5 @@
\documentclass[a4paper]{report}
+\input{vc}
% Definition of fonts, choose T1 encoding for fonts
\usepackage[T1]{fontenc}
%
@@ -19,6 +20,7 @@
algorithm,
algorithmic
}
+\usepackage[orig,english]{isodate}
\usepackage[DIV13]{typearea}
\usepackage[position=top]{caption}
\usepackage[utf8]{inputenc}
@@ -103,10 +105,17 @@
pdfkeywords={Gentoo, package manager, specification},
pdfproducer={pdfLaTeX and hyperref},
}
-
\title{Package Manager Specification}
\author{Stephen P. Bennett\\\url{spb@exherbo.org}
\and Ciaran McCreesh\\\url{ciaran.mccreesh@googlemail.com}}
+% Make the build succeed even when no Git repository is available
+\ifthenelse{\equal{\VCDateISO}{}}
+{
+ \date{Generated on: \today}
+}{
+ \date{\printdate{\VCDateISO}}
+}
+
\pagestyle{myheadings}
\markboth{\scshape Package Manager Specification}{\scshape Package
Manager Specification}