summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorUlrich Müller <ulm@gentoo.org>2018-05-04 22:06:17 +0200
committerUlrich Müller <ulm@gentoo.org>2018-05-04 22:07:12 +0200
commit472776d8d36625dc3f6ba638b4a2353424438245 (patch)
tree051a72a875bf759a18fbbaa82c52d30a1d109cf1 /pms.cls
parentpms.cls: Another workaround for tex4ht. (diff)
downloadpms-472776d8d36625dc3f6ba638b4a2353424438245.tar.gz
pms-472776d8d36625dc3f6ba638b4a2353424438245.tar.bz2
pms-472776d8d36625dc3f6ba638b4a2353424438245.zip
pms.cls: Output git branch information too, if not on master.
Diffstat (limited to 'pms.cls')
-rw-r--r--pms.cls2
1 files changed, 2 insertions, 0 deletions
diff --git a/pms.cls b/pms.cls
index 8e18929..e8a444d 100644
--- a/pms.cls
+++ b/pms.cls
@@ -169,6 +169,8 @@
\newcommand{\commitinfo}{%
\ifthenelse{\equal{\gitCommitterDate}{(None)}}{}{%
This version corresponds to commit \gitAbbrevHash
+ \ifthenelse{\equal{\gitBranch}{\detokenize{master}}}{}
+ { on branch \gitBranch}%
\ifthenelse{\equal{\gitDirty}{}}{}{ with local changes}.%
}%
}