-
Notifications
You must be signed in to change notification settings - Fork 0
DiffSharp/diffsharp.github.io
Folders and files
Name | Name | Last commit message | Last commit date | |
---|---|---|---|---|
Repository files navigation
(** # Running notebooks in MyBinder The `Dockerfile` and `NuGet.config` allow us to run generated notebooks in [MyBinder](https://mybinder.org) * `master` branch of diffsharp/diffsharp.github.io: [![Binder](https://mybinder.org/badge_logo.svg)](https://mybinder.org/v2/gh/diffsharp/diffsharp.github.io/master) # Generating docs To iterate on docs (requires evaluation off since DLLs get locked) dotnet fsdocs watch To use a local build of FSharp.Formatting: git clone https://github.com/fsprojects/FSharp.Formatting ../FSharp.Formatting pushd ..\FSharp.Formatting .\build popd Then: ..\FSharp.Formatting\src\FSharp.Formatting.CommandTool\bin\Debug\net6.0\fsdocs.exe watch ..\FSharp.Formatting\src\FSharp.Formatting.CommandTool\bin\Debug\net6.0\fsdocs.exe build --clean --eval ## Generated Notebooks Notebooks are generated for all .md and .fsx files under docs as part of the build. * Dockerfile - see [https://github.com/dotnet/interactive/blob/master/docs/CreateBinder.md](https://github.com/dotnet/interactive/blob/master/docs/CreateBinder.md) * NuGet.config - likewise See MyBinder for creating URLs *)
About
No description, website, or topics provided.
Resources
Stars
Watchers
Forks
Releases
No releases published
Packages 0
No packages published