[aur-requests] [PRQ#697] Deletion Request for drmips-nodoc

[notify at aur.archlinux.org]

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

Previously, "drmips" package included LaTeX documentation and this
"drmips-nodoc" was the version without that documentation.
Now, the documentation was moved from "drmips" to the new "drmips-doc"
package, so "drmips-nodoc" is no longer necessary.

These were done because LaTeX is a very large make dependency.

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