diff options
| author | Guillem Jover <guillem@debian.org> | 2006-04-02 14:27:47 +0000 |
|---|---|---|
| committer | Guillem Jover <guillem@debian.org> | 2006-04-02 14:27:47 +0000 |
| commit | 8e49dc3fbce182ef56c8ef6a42421ee269a94913 (patch) | |
| tree | e176b4539c1fa53c88962a3ce6e351644fe8848e /debian/gnumach.info | |
| parent | 4f1d8bbdd8b402b3bc55e8a7633c53529b4d19d4 (diff) | |
Remove the GFDLd manual from the source package.
Change version string.
Diffstat (limited to 'debian/gnumach.info')
| -rw-r--r-- | debian/gnumach.info | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/debian/gnumach.info b/debian/gnumach.info index fd51950..87c8231 100644 --- a/debian/gnumach.info +++ b/debian/gnumach.info @@ -1 +1 @@ -build/doc/mach.info* +#build/doc/mach.info* |