--- 43BSDTahoe/new/X/xdvi/mktable.c	2018/04/24 16:12:58	1.1
+++ 43BSDTahoe/new/X/xdvi/mktable.c	2018/04/24 16:12:58	1.1.1.1
@@ -3,7 +3,7 @@ static char sccsid[] = "@(#)mktable.c	1.
 #endif /* not lint */
 
 #ifndef lint
-static char *mktable_c = "$Header: /var/lib/cvsd/CSRG/43BSDTahoe/new/X/xdvi/mktable.c,v 1.1 2018/04/24 16:12:58 root Exp $";
+static char *mktable_c = "$Header: /var/lib/cvsd/CSRG/43BSDTahoe/new/X/xdvi/mktable.c,v 1.1.1.1 2018/04/24 16:12:58 root Exp $";
 #endif 	lint
 
 #include <stdio.h>