diff --git a/doc/em/.distr b/doc/em/.distr index 322dc503..96790bdd 100644 --- a/doc/em/.distr +++ b/doc/em/.distr @@ -21,8 +21,6 @@ mach.nr macr.nr mapping.nr mem.nr -print -show title.nr traps.nr types.nr