diff options
author | Luca Falavigna <dktrkranz@debian.org> | 2014-04-27 11:50:17 +0200 |
---|---|---|
committer | Luca Falavigna <dktrkranz@debian.org> | 2014-04-27 11:50:17 +0200 |
commit | c18e2ac21befdb52636e6e04e4c5aab2d8020541 (patch) | |
tree | 853c42d501fcae91b7a71e1658509d0bf3621a78 /debian/docs | |
parent | c773543d35cc6262c8655707bcaf9d5b0dc697f5 (diff) |
New documentation structure and format
Diffstat (limited to 'debian/docs')
-rw-r--r-- | debian/docs | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/debian/docs b/debian/docs index 819ff47..748755d 100644 --- a/debian/docs +++ b/debian/docs @@ -1,3 +1,2 @@ build/doc/HTML build/doc/PDF -build/doc/PS |