ハッピーマンデー法じゃなくて、「国民の祝日に関する法律の一部を改正する法律」（平成10年法律第141号）だった。