Skip to content

Fix incorrect filename in Makefile rule

As reported in https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=864612 , there is a copy and paste error in the Makefile rule for irk.html

Merge request reports