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/intro.but | |
| 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/intro.but')
| -rw-r--r-- | doc/intro.but | 2 |
1 files changed, 2 insertions, 0 deletions
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. |