On 1/2/20 12:33 PM, notify--- via aur-requests wrote: > haawda [1] filed a deletion request for juliadoc-git [2]: > > There is julia-docs-git, a split package in julia-git PKGBUILD, so I > think this one is obsolete now. > > [1] https://aur.archlinux.org/account/haawda/ > [2] https://aur.archlinux.org/pkgbase/juliadoc-git/ >
I am fairly sure that juliadoc and julia-docs are separate projects. One being the documentation of julia, and the other being a python sphinx extension for these. Though i am not familiar enough with the julia ecosystem to make a call here. -- Rob (coderobe) O< ascii ribbon campaign - stop html mail - www.asciiribbon.org
