agda-web-docs-lib/package.json

Library for enhancing Agda-generated HTML documentation

{
  "name": "agda-web-docs-lib",
  "version": "1.0.2",
  "description": "Library for enhancing Agda-generated HTML documentation",
  "main": "dist/index.js",
  "types": "dist/index.d.ts",
  "bin": {
    "agda-docs": "dist/cli.js"
  },
  "repository": {
    "type": "git",
    "url": "git+https://github.com/will-break-it/agda-web-docs-lib.git"
  },
  "homepage": "https://github.com/will-break-it/agda-web-docs-lib#readme",
  "bugs": {
    "url": "https://github.com/will-break-it/agda-web-docs-lib/issues"
  },
  "files": [
    "dist",
    "README.md",
    "LICENSE"
  ],
  "scripts": {
    "build": "rm -rf dist && tsc && chmod +x ./dist/cli.js && cp -r src/styles dist/ && cp -r src/scripts dist/",
    "test": "node --test test/",
    "test:watch": "node --test --watch test/",
    "lint": "eslint src --ext .ts",
    "format": "prettier --write \"src/**/*.ts\"",
    "format:check": "prettier --check \"src/**/*.ts\"",
    "prepare": "husky",
    "release": "./scripts/release.sh",
    "preversion": "npm run build && npm run lint && npm run format && npm test",
    "prepublishOnly": "npm test && npm run build"
  },
  "keywords": [
    "agda",
    "documentation",
    "html",
    "renderer",
    "formal-verification",
    "formal-methods"
  ],
  "author": "William Wolff <wolff.william@pm.me>",
  "license": "MIT",
  "devDependencies": {
    "@types/fs-extra": "^11.0.1",
    "@types/jest": "^29.5.0",
    "@types/jsdom": "^21.1.6",
    "@types/node": "^20.11.24",
    "@typescript-eslint/eslint-plugin": "^7.0.0",
    "@typescript-eslint/parser": "^7.0.0",
    "eslint": "^8.0.0",
    "husky": "^9.1.7",
    "jest": "^29.5.0",
    "lint-staged": "^15.5.2",
    "prettier": "^3.0.0",
    "ts-jest": "^29.1.0",
    "typescript": "^5.3.3"
  },
  "dependencies": {
    "agda-web-docs-lib": "^0.7.1",
    "commander": "^12.0.0",
    "fs-extra": "^11.1.1",
    "jsdom": "^24.0.0"
  },
  "lint-staged": {
    "src/**/*.ts": [
      "eslint --fix",
      "prettier --write"
    ]
  }
}