docs.mk 435 B

1234567891011121314151617
  1. clean-docs:
  2. rm -f $(doc).texi
  3. rm -f $(doc).info
  4. rm -f html-stamp
  5. rm -rf html
  6. rm -f $(addprefix $(doc).,aux cp cps fn fns ky log pdf pg pg toc tp tps vr vrs)
  7. rm -rf $(doc).html
  8. EXTRA_DIST=$(doc).scm make-texinfo.scm make-html.scm docs.mk
  9. regenerate-texi:
  10. $(top_srcdir)/env $(srcdir)/make-texinfo.scm $(srcdir)/$(doc).scm > $(doc).texi
  11. regenerate-html:
  12. $(top_srcdir)/env $(srcdir)/make-html.scm $(srcdir)/$(doc).scm
  13. touch $@