From db34e7d7f1abad7910b510e88611443e5c1ff54c Mon Sep 17 00:00:00 2001 From: gord Date: Mon, 15 Mar 1999 02:46:06 +0000 Subject: [PATCH] Fix up documentation rules. --- debian/rules | 7 ++++--- 1 file changed, 4 insertions(+), 3 deletions(-) diff --git a/debian/rules b/debian/rules index 3977c3825..fab1e2e0f 100644 --- a/debian/rules +++ b/debian/rules @@ -31,7 +31,7 @@ binary-arch: checkroot build $(checkdir) -rm -rf debian/tmp ## make dirs - install -d debian/tmp debian/tmp/usr/doc/grub debian/tmp/DEBIAN + install -d debian/tmp debian/tmp/usr/doc/grub/docs debian/tmp/DEBIAN ## install files dir=`cd debian/tmp && pwd` && make install DESTDIR=$$dir @@ -39,9 +39,10 @@ binary-arch: checkroot build mv debian/tmp/info debian/tmp/usr/info - cp -r docs debian/tmp/usr/doc/grub/ + cp docs/*.{txt,html} debian/tmp/usr/doc/grub/docs/ + $(INSTALL_DATA) docs/TODO debian/tmp/usr/doc/grub/docs/ + $(INSTALL_DATA) docs/BUGS debian/tmp/usr/doc/grub/docs/ $(INSTALL_DATA) NEWS debian/tmp/usr/doc/grub/docs/ - rm -f debian/tmp/usr/doc/grub/docs/COPYING $(INSTALL_DATA) ChangeLog debian/tmp/usr/doc/grub/changelog gzip -f9 debian/tmp/usr/doc/grub/changelog