Bug#818927: side not found

2020-04-12 Thread Laura Arjona Reina
Thanks, Holger! El 12 de abril de 2020 14:45:25 CEST, Holger Wansing escribió: >Hi, > >Holger Wansing wrote: >> While diffing the results of the original and the changed 7doc script, I >> found >> that there were several more files suffering from this problem: >> >> network-services.es.html

Bug#818927: side not found

2020-04-12 Thread Holger Wansing
Hi, Holger Wansing wrote: > While diffing the results of the original and the changed 7doc script, I found > that there were several more files suffering from this problem: > > network-services.es.html > sect.administration-interfaces.es.html > sect.aptosid.id.html >

Bug#818927: side not found

2020-04-10 Thread Holger Wansing
Hi, Holger Wansing wrote: > I found the problem in > https://salsa.debian.org/webmaster-team/cron/-/blob/master/parts/7doc line > 206: > > The if clause > > if [ "$(basename $page $lang.html)" = "$(basename $page)" ]; then > pagecopy2 $lang "$pagefile" "$destdir/$(basename

Bug#818927: side not found

2020-04-10 Thread Holger Wansing
Hi, Shlomi Fish wrote: > On Fri, 10 Apr 2020 12:13:30 +0200 > Holger Wansing wrote: > > > Hi, > > > > Shlomi Fish wrote: > > > Hi! > > > > > > On Fri, 10 Apr 2020 04:03:06 +0200 > > > C_G_Zeller wrote: > > > > > > > debian-handbook > > > > > > > > Side not found > > > > > > > > 6.6 >