add docs infra

Author: a

doc/Project.toml

@@ -0,0 +1,3 @@
+[deps]
+Documenter = "e30172f5-a6a5-5a46-863b-614d45cd2de4"
+TermInterface = "8ea1fca8-c5ef-4a55-8b96-4e9afe9c9a3c"

doc/liveserver.jl

@@ -0,0 +1,23 @@
+#!/usr/bin/env julia
+
+# Root of the repository
+const repo_root = dirname(@__DIR__)
+
+# Make sure docs environment is active
+import Pkg
+Pkg.activate(@__DIR__)
+using TermInterface
+
+# Communicate with docs/make.jl that we are running in live mode
+push!(ARGS, "liveserver")
+
+# Run LiveServer.servedocs(...)
+import LiveServer
+LiveServer.servedocs(;
+    # Documentation root where make.jl and src/ are located
+    foldername=joinpath(repo_root, "docs"),
+    skip_dirs=[
+        # exclude assets folder because it is modified by docs/make.jl
+        joinpath(repo_root, "docs", "src", "assets"),
+    ],
+)

doc/make.jl

@@ -0,0 +1,17 @@
+using Documenter
+using TermInterface
+
+const TERMINTERFACE_PATH = dirname(pathof(Metatheory))
+
+
+makedocs(
+    modules=[TermInterface],
+    sitename="TermInterface.jl",
+    pages=[
+        "index.md"
+        "api.md"
+        "Tutorials" => tutorials
+    ],
+)
+
+deploydocs(repo="github.com/JuliaSymbolics/TermInterface.jl.git")