|
|
insinto /usr/share/singular/LIB | insinto /usr/share/singular/LIB |
cd ${WORKDIR}/Singular/LIB | cd ${WORKDIR}/Singular/LIB |
doins *.lib* | doins *.lib* |
|
doins COPYING |
|
doins help.cnf |
insinto /usr/share/singular/LIB/gftables | insinto /usr/share/singular/LIB/gftables |
cd gftables | cd gftables |
doins * | doins * |
|
|
cat singular.hlp >> singular.info | cat singular.hlp >> singular.info |
doinfo singular.info | doinfo singular.info |
make html | make html |
dohtml -r html/. |
|
strange_error="Bad file descriptor" | strange_error="Bad file descriptor" |
echo ${strange_error} > makeresult | echo ${strange_error} > makeresult |
while grep -q "${strange_error}" makeresult | while grep -q "${strange_error}" makeresult |
|
|
done | done |
insinto /usr/share/${PN} | insinto /usr/share/${PN} |
doins singular.idx singular.hlp | doins singular.idx singular.hlp |
|
dohtml -a htm,png,html,idx,css -r html/ html/* |
cd ${D}/usr | cd ${D}/usr |
dodir /usr/share/doc/${PF} | dodir /usr/share/doc/${PF} |
mv doc/NTL share/doc/${PF}/ | mv doc/NTL share/doc/${PF}/ |