[RFU?] r871 - jed/trunk/debian

[Rafael Laboissiere]

* Jörg Sommer <joerg at alea.gnuu.de> [2007-09-08 13:47]:

> Rafael Laboissiere schrieb am Fri 07. Sep, 23:43 (+0200):
> > * Jörg Sommer <jo-guest at alioth.debian.org> [2007-09-07 19:27]:
> > 
> > > Author: jo-guest
> > > Date: 2007-09-07 19:27:14 +0000 (Fri, 07 Sep 2007)
> > > New Revision: 871
> > > 
> > > Modified:
> > >    jed/trunk/debian/changelog
> > >    jed/trunk/debian/rules
> > > Log:
> > > • trunk/debian/rules
> > >   · Moved the documentation files used by jed back to /usr/share/jed/doc,
> > >     because in /usr/share/doc/jed-common they are a violation of policy
> > >     section 12.3.
> > 
> > Should I upload this version?
> 
> I don't think it's urgent, but “release early, release often.”

I found a problem in upgrading from -8 to -9 in my sid chroot.  See the dpkg
warning message "unable to delete old directory" below.  I will try to
investigate this today but you may find the root of the problem quicker than
me.


(sid) $ sudo apt-get remove jed-common --yes
Reading package lists... Done
Building dependency tree
Reading state information... Done
The following packages will be REMOVED:
  jed-common
0 upgraded, 0 newly installed, 1 to remove and 2 not upgraded.
Need to get 0B of archives.
After unpacking 2298kB disk space will be freed.
(Reading database ... 105553 files and directories currently installed.)
Removing jed-common ...
Running /usr/share/jed/compile/jed-common...done
(sid) $ sudo dpkg -i jed-common_0.99.18+dfsg.1-8_all.deb
Selecting previously deselected package jed-common.
(Reading database ... 105304 files and directories currently installed.)
Unpacking jed-common (from jed-common_0.99.18+dfsg.1-8_all.deb) ...
Setting up jed-common (1:0.99.18+dfsg.1-8) ...
Running /usr/share/jed/compile/jed-common...done
(sid) $ sudo dpkg -i jed-common_0.99.18+dfsg.1-9_all.deb
(Reading database ... 105552 files and directories currently installed.)
Preparing to replace jed-common 1:0.99.18+dfsg.1-8 (using jed-common_0.99.18+dfsg.1-9_all.deb) ...
Running /usr/share/jed/compile/jed-common...done
Unpacking replacement jed-common ...
dpkg: warning - unable to delete old directory `/usr/share/doc/jed-common/hlp': Directory not empty
Setting up jed-common (1:0.99.18+dfsg.1-9) ...
Running /usr/share/jed/compile/jed-common...done
(sid) $ ls -l /usr/share/doc/jed-common/hlp
total 280
-rw-r--r-- 1 root root 195778 2007-09-09 13:32 jedfuns.hlp
-rw-r--r-- 1 root root  81577 2007-09-09 13:32 libfuns.hlp
(sid) $ dpkg -L jed-common | grep /hlp/
/usr/share/jed/doc/hlp/jedfuns.hlp
/usr/share/jed/doc/hlp/libfuns.hlp


-- 
Rafael