diff options
| author | Jacob Nevins <jacobn@chiark.greenend.org.uk> | 2005-02-17 22:20:32 +0000 |
|---|---|---|
| committer | Jacob Nevins <jacobn@chiark.greenend.org.uk> | 2005-02-17 22:20:32 +0000 |
| commit | f832d3e02171bb43e3ba9e4330257e4e9de2128c (patch) | |
| tree | abed9038eab8c5a33080e00f9a70f0c2855ae916 /doc | |
| parent | d2cfbb4402630708053c7de02e155e48ba4ba533 (diff) | |
| download | halibut-f832d3e02171bb43e3ba9e4330257e4e9de2128c.zip halibut-f832d3e02171bb43e3ba9e4330257e4e9de2128c.tar.gz halibut-f832d3e02171bb43e3ba9e4330257e4e9de2128c.tar.bz2 halibut-f832d3e02171bb43e3ba9e4330257e4e9de2128c.tar.xz | |
Add \versionid.
[originally from svn r5338]
Diffstat (limited to 'doc')
| -rw-r--r-- | doc/index.but | 2 | ||||
| -rw-r--r-- | doc/input.but | 2 | ||||
| -rw-r--r-- | doc/intro.but | 2 | ||||
| -rw-r--r-- | doc/manpage.but | 2 | ||||
| -rw-r--r-- | doc/output.but | 2 | ||||
| -rw-r--r-- | doc/running.but | 2 |
6 files changed, 12 insertions, 0 deletions
diff --git a/doc/index.but b/doc/index.but index ccd2784..40eee6e 100644 --- a/doc/index.but +++ b/doc/index.but @@ -1,3 +1,5 @@ +\versionid $Id$ + \IM{Windows Help} Windows Help \IM{Windows Help} Help, Windows diff --git a/doc/input.but b/doc/input.but index 7d5eb97..978db0c 100644 --- a/doc/input.but +++ b/doc/input.but @@ -1,3 +1,5 @@ +\versionid $Id$ + \C{input} Halibut input format This chapter describes the format in which you should write diff --git a/doc/intro.but b/doc/intro.but index cd73832..616b6ad 100644 --- a/doc/intro.but +++ b/doc/intro.but @@ -1,3 +1,5 @@ +\versionid $Id$ + \C{intro} Introduction to Halibut Halibut is a multi-format documentation processing system. diff --git a/doc/manpage.but b/doc/manpage.but index 5889e59..5e5d5f4 100644 --- a/doc/manpage.but +++ b/doc/manpage.but @@ -1,3 +1,5 @@ +\versionid $Id$ + \cfg{man-identity}{halibut}{1}{2004-04-08}{Halibut}{Simon Tatham} \cfg{man-mindepth}{1} diff --git a/doc/output.but b/doc/output.but index 7107fcc..912b09d 100644 --- a/doc/output.but +++ b/doc/output.but @@ -1,3 +1,5 @@ +\versionid $Id$ + \C{output} Halibut output formats This chapter describes each of Halibut's current \i{output formats}. 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 |