diff options
Diffstat (limited to 'docs')
| -rw-r--r-- | docs/Makefile.am | 2 | ||||
| -rwxr-xr-x | docs/check.docs | 2 |
2 files changed, 1 insertions, 3 deletions
diff --git a/docs/Makefile.am b/docs/Makefile.am index 44785527..0a6c53cc 100644 --- a/docs/Makefile.am +++ b/docs/Makefile.am @@ -141,7 +141,7 @@ EXTRA_DIST += \ $(man_MANS) # force doc rebulid after configure -dist-hook-local: dist-local-check-mans-enabled dist-local-check-no-cross-references +dist-hook-local: dist-local-check-mans-enabled dist-local-check-no-cross-references pango-docs-clean all-local pango-docs-clean: clean cd $(srcdir) && rm -rf xml html diff --git a/docs/check.docs b/docs/check.docs index 69ed186a..1cf051b1 100755 --- a/docs/check.docs +++ b/docs/check.docs @@ -1,7 +1,5 @@ #!/bin/sh -exit 0 - LC_ALL=C export LC_ALL |