The riscpkg makefile target fetches a copy of the HTML manual to include in the RiscPkg archive. Currently it's fetching it from the old SourceForge website. We should probably change it to fetch from https://arcem-emu.github.io/manual/$(MANUAL).html
The riscpkg makefile target fetches a copy of the HTML manual to include in the RiscPkg archive. Currently it's fetching it from the old SourceForge website. We should probably change it to fetch from
https://arcem-emu.github.io/manual/$(MANUAL).html