diff options
-rw-r--r-- | Makefile.am | 1 | ||||
-rw-r--r-- | doc/Makefile.am | 8 |
2 files changed, 1 insertions, 8 deletions
diff --git a/Makefile.am b/Makefile.am index 81e712d56..861e98400 100644 --- a/Makefile.am +++ b/Makefile.am @@ -45,3 +45,4 @@ dist-hook: cd $(srcdir) && tools/ck-version-info cd $(srcdir) && tools/ck-copyright-notice cd $(srcdir) && tools/ck-news + cd $(srcdir)/doc && ./check-typography diff --git a/doc/Makefile.am b/doc/Makefile.am index 2a27b709f..9ba17c55d 100644 --- a/doc/Makefile.am +++ b/doc/Makefile.am @@ -16,11 +16,3 @@ info_TEXINFOS = mpfr.texi mpfr_TEXINFOS = fdl.texi MAKEINFOFLAGS = --enable-encoding - - -mpfr.info: check-typography - -check-typography: - cd $(srcdir) && ./check-typography - -.PHONY: check-typography |