Overview
Comment:Effacer la manpage compilée
Downloads: Tarball | ZIP archive | SQL archive
Timelines: family | ancestors | descendants | both | trunk
Files: files | file ages | folders
SHA1: e7760661d896eb4ba406b8fa7c7916c7c2d1f7a5
User & Date: bohwaz on 2013-08-05 13:47:16
Other Links: manifest | tags
Context
2013-08-05
14:33
Vérifications plus poussées à l'installation check-in: 5d50b2a2e9 user: bohwaz tags: trunk
13:47
Effacer la manpage compilée check-in: e7760661d8 user: bohwaz tags: trunk
2013-07-31
13:09
Ajout d'une manpage check-in: 1510e14ac1 user: bohwaz tags: trunk
Changes

Modified debian/makedeb.sh from [7d3d889fe9] to [e2b7e71d84].

69
70
71
72
73
74
75

76
77
78
79


80
81
82
83
84
85
86

EOF

}

# doc.
DOCDIR=${DEBLOCALPREFIX}/share/doc/${PACKAGE_DEBNAME}

true && {
    echo "Generating doc..."
    cp ${SRCDIR}/README ${DOCDIR}
    a2x --doctype manpage --format manpage ${THISDIR}/manpage.txt --destination-dir ${DOCDIR}


} || {
    echo "Fail."
    exit 1
}

true && {
    CONTROL=DEBIAN/control







>



|
>
>







69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89

EOF

}

# doc.
DOCDIR=${DEBLOCALPREFIX}/share/doc/${PACKAGE_DEBNAME}

true && {
    echo "Generating doc..."
    cp ${SRCDIR}/README ${DOCDIR}
    a2x --doctype manpage --format manpage ${THISDIR}/manpage.txt
    gzip -c ${THISDIR}/garradin.1 > /usr/share/man/man1/${PACKAGE_DEBNAME}.1.gz
    rm -f ${THISDIR}/garradin.1
} || {
    echo "Fail."
    exit 1
}

true && {
    CONTROL=DEBIAN/control