diff options
Diffstat (limited to 'infrastructure/makeparcels.pl.in')
| -rwxr-xr-x | infrastructure/makeparcels.pl.in | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/infrastructure/makeparcels.pl.in b/infrastructure/makeparcels.pl.in index bd6efe18..d4caf2ba 100755 --- a/infrastructure/makeparcels.pl.in +++ b/infrastructure/makeparcels.pl.in @@ -302,7 +302,7 @@ EOF if ($type eq 'html') { - $dest = "share/doc/$version"; + $dest = "share/doc/@PACKAGE_TARNAME@"; $name = "docs/$name.html"; } |