diff options
| author | Luca Falavigna <dktrkranz@debian.org> | 2009-09-08 22:34:31 +0200 |
|---|---|---|
| committer | Luca Falavigna <dktrkranz@debian.org> | 2009-09-08 22:34:31 +0200 |
| commit | 88bfa94f3f1aacac78fc10a67a3b4d9603cdc8d4 (patch) | |
| tree | efbaeda57e033dc0ea6ae772c25591a5194b6df8 /debian/docs | |
| parent | 8c10e4a4bef26dec711554dfe8bad5b99dd3661f (diff) | |
Also provide PDF and PostScript files
Diffstat (limited to 'debian/docs')
| -rw-r--r-- | debian/docs | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/debian/docs b/debian/docs index 9cfa1dc..819ff47 100644 --- a/debian/docs +++ b/debian/docs @@ -1 +1,3 @@ build/doc/HTML +build/doc/PDF +build/doc/PS |