diff options
Diffstat (limited to 'doc/Makefile.am')
-rw-r--r-- | doc/Makefile.am | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/doc/Makefile.am b/doc/Makefile.am index 752b2d6..a122244 100644 --- a/doc/Makefile.am +++ b/doc/Makefile.am @@ -29,6 +29,13 @@ README: README.html CLEANFILES += README endif +if USE_LINKS +README: README.html + links -dump $^ | sed 's,file://localhost/.*/doc/README.html,README,' > $@ + +CLEANFILES += README +endif + tidy: README.html tidy -qe < README.html ; true |