Pisilinux3/pisi
3
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

* Make it possible to specify doc directory's name via destDir

Browse Source 
parameter provided to pisitools.dodoc.
This commit is contained in:
Fatih Aşıcı
2009-08-03 12:56:24 +00:00
parent f3d1d9d827
commit 5618a06ab5
2 changed files with 7 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files
ChangeLog
+4
View File
@@ -1,3 +1,7 @@
2009-08-03 Fatih Aşıcı <fatih@pardus.org.tr>
* Make it possible to specify doc directory's name via destDir
parameter provided to pisitools.dodoc.
2009-06-30 Onur Küçük <onur@pardus.org.tr>
* Change default make job number from 1 to 3 in pisi defaults,
sometimes it is forgotten and we need to see parallel build errors
pisi/actionsapi/pisitools.py
+3 -2
View File
@@ -45,9 +45,10 @@ def dodir(destinationDirectory):
'''creates a directory tree'''
makedirs(join_path(get.installDIR(), destinationDirectory))
def dodoc(*sourceFiles):
def dodoc(*sourceFiles, **kw):
'''inserts the files in the list of files into /usr/share/doc/PACKAGE'''
readable_insinto(join_path(get.installDIR(), join_path('/usr/share/doc', get.srcNAME())), *sourceFiles)
destDir = kw.get("destDir", get.srcNAME())
readable_insinto(join_path(get.installDIR(), join_path(get.docDIR(), destDir)), *sourceFiles)
def doexe(sourceFile, destinationDirectory):
'''insert a executable file into destination directory'''