[aur-requests] [PRQ#4465] Deletion Request for drmips-doc

[notify at aur.archlinux.org]

brunonova [1] filed a deletion request for drmips-doc [2]:

The drmips-doc package existed because the documentation was written
in LaTeX, which means a lot of dependencies.
The docs were now converted to HTML and included in the drmips
package, so this package is not needed anymore.

[1] https://aur.archlinux.org/account/brunonova/
[2] https://aur.archlinux.org/pkgbase/drmips-doc/