summaryrefslogtreecommitdiff
path: root/doc/running.but
diff options
context:
space:
mode:
Diffstat (limited to 'doc/running.but')
-rw-r--r--doc/running.but2
1 files changed, 2 insertions, 0 deletions
diff --git a/doc/running.but b/doc/running.but
index 56790ec..b2b2819 100644
--- a/doc/running.but
+++ b/doc/running.but
@@ -1,3 +1,5 @@
+\versionid $Id$
+
\C{running} Running Halibut
\I{running Halibut}In the simplest case, running Halibut is very