diff options
-rw-r--r-- | Makefile | 10 |
1 files changed, 10 insertions, 0 deletions
@@ -144,6 +144,16 @@ MXE_DISABLE_DOCS = \ dist_man7_MANS= \ dist_man8_MANS= \ dist_man9_MANS= \ + nodist_man_MANS= \ + nodist_man1_MANS= \ + nodist_man2_MANS= \ + nodist_man3_MANS= \ + nodist_man4_MANS= \ + nodist_man5_MANS= \ + nodist_man6_MANS= \ + nodist_man7_MANS= \ + nodist_man8_MANS= \ + nodist_man9_MANS= \ notrans_dist_man_MANS= \ MANLINKS= \ info_TEXINFOS= \ |