6 Commits (e1150ab84ad038fba6bac4132405e6574b5d4e59)

Author SHA1 Message Date
  Andreas Jaeger eccac102db Cleanup doc-tools-check-languages 4 years ago
  Joseph Robinson 4ecc2757e2 [User Guides] Remove Admin User Guide from Tools build 5 years ago
  Andreas Jaeger 8509b5cb95 Handle RST languages and drafts 6 years ago
  Andreas Jaeger 30452280a2 Handle SPECIAL_BOOKs in doc-tools-check-languages 6 years ago
  Andreas Jaeger edb4ff4998 Fix doc-tools-check-language 7 years ago
  Christian Berendt 2e55d768ba Make doc-tools-check-languages configurable 7 years ago