diff options
author | John Paul Adrian Glaubitz <glaubitz@physik.fu-berlin.de> | 2014-03-28 17:54:31 +0100 |
---|---|---|
committer | Helge Deller <deller@gmx.de> | 2014-03-28 20:25:47 +0100 |
commit | 60213e5a693790f180b6ba003ff2a831b4e3fc38 (patch) | |
tree | e1330a56fd59e2e347ce892869aedfaf66616d92 | |
parent | d00ce33a7960872b6b938e9394aad318ebc51fd9 (diff) | |
download | palo-60213e5a693790f180b6ba003ff2a831b4e3fc38.tar.gz |
Drop file debian/doc-base since it is not used anymore.
-rw-r--r-- | debian/doc-base | 12 |
1 files changed, 0 insertions, 12 deletions
diff --git a/debian/doc-base b/debian/doc-base deleted file mode 100644 index 4ca83a4..0000000 --- a/debian/doc-base +++ /dev/null @@ -1,12 +0,0 @@ -Document: palo -Title: Debian palo Manual -Author: Paul Bame <paul_bame@hp.com> -Abstract: How to use palo to manage bootable media. -Section: base - -Format: text -Files: /usr/share/doc/palo/README - -Format: HTML -Index: /usr/share/doc/palo/README.html -Files: /usr/share/doc/palo/*.html |