diff --git a/docs/go32ex/rmpm_int.pp b/docs/go32ex/rmpmint.pp
similarity index 100%
rename from docs/go32ex/rmpm_int.pp
rename to docs/go32ex/rmpmint.pp