Valentin GagarinandGitHub ca42068bdc Merge pull request #7251 from RelationalAI-oss/sp-docs-uninstall-prompt ...

docs: drop shell prompt character for consistency

2022-12-01 19:24:09 +01:00

..

src

Merge pull request #7251 from RelationalAI-oss/sp-docs-uninstall-prompt

2022-12-01 19:24:09 +01:00

theme

doc/manual: don't need to copy highlight.js manually

2021-08-04 19:47:05 -07:00

anchors.jq

doc: Port anchors preprocessor to jq script

2022-05-26 18:17:21 +02:00

book.toml

doc: Add redirects for the DocBook manual

2022-05-26 18:17:21 +02:00

custom.css

Improve margins between sections

2020-08-19 12:31:18 +02:00

generate-builtins.nix

refactor rendering documentation of builtins

2022-11-24 14:15:43 +01:00

generate-manpage.nix

add missing newline, for consistent formatting

2022-11-30 23:40:53 +01:00

generate-options.nix

manual: update options generation code to use default values

2022-10-20 12:05:04 -07:00

local.mk

Print common flags in --help

2022-10-07 09:07:22 -07:00

quote-literals.xsl

Generate release notes again

2014-03-12 14:24:29 +01:00

redirects.js

fix typos in comments

2022-11-09 00:49:34 +01:00

utils.nix

refactor showOptions

2022-09-30 01:43:53 +02:00