Skip to content

Commit

Permalink
fix md files shredded by mdformat
Browse files Browse the repository at this point in the history
  • Loading branch information
rkaminsk committed Dec 4, 2024
1 parent 58dc69f commit 58022f9
Show file tree
Hide file tree
Showing 5 changed files with 29 additions and 34 deletions.
31 changes: 15 additions & 16 deletions docs/community/help.md
Original file line number Diff line number Diff line change
Expand Up @@ -6,34 +6,31 @@ icon: material/help-circle

## First steps

!!! tip "Search bar" Use the search bar from this documentation page to find
what you are looking for.
!!! tip
"Search bar" Use the search bar from this documentation page to find
what you are looking for.

!!! tip "Look at the examples" The examples tab has might give you some insides
into how to use the tool.
!!! tip
"Look at the examples" The examples tab has might give you some insides
into how to use the tool.

!!! tip "Mailing list" Our [mailing list][mailing_list] might have some
information about your issue. Search for questions made by previous users of
the potassco tools. You can also [subscribe] to this list to get updates and
join the community.
!!! tip
"Mailing list" Our [mailing list][mailing_list] might have some
information about your issue. Search for questions made by previous users of
the potassco tools. You can also [subscribe] to this list to get updates and
join the community.

## Further help

!!! question "Open an Issue"

```
Open an [issue][new_issue] describing your problem.
Open an [issue][new_issue] describing your problem.

!!! warning
To avoid duplicating issues, please search our [issue tracker][issues] and our
[mailing list][mailing_list] before filing a new issue.
```

!!! question "Reach out in the mailing list"

```
Send an email to the list with your issue.
```
Send an email to the list with your issue.

## General ASP support

Expand All @@ -42,3 +39,5 @@ Send an email to the list with your issue.
[mailing_list]: https://sourceforge.net/p/potassco/mailman/potassco-users/
[subscribe]: https://sourceforge.net/projects/potassco/lists/potassco-users/
[support_page]: https://potassco.org/support/
[new_issue]: https://github.com/potassco/fillname/issues/new
[issues]: https://github.com/potassco/fillname/issues
5 changes: 1 addition & 4 deletions docs/community/index.md
Original file line number Diff line number Diff line change
Expand Up @@ -26,7 +26,4 @@ Your participation keeps our project thriving. Thank you for being part of our
community!

!!! info

```
*fillanme* is part of the [Potassco] suit (which is the home of *clingo* and the other ASP tools)
```
*fillname* is part of the [Potassco](https://potassco.org) suite.
5 changes: 5 additions & 0 deletions docs/examples/index.md
Original file line number Diff line number Diff line change
@@ -1,3 +1,8 @@
---
hide:
- navigation
---

# Examples

Welcome to the **Examples** section of our documentation! 🎉
Expand Down
10 changes: 5 additions & 5 deletions docs/getting_started.md
Original file line number Diff line number Diff line change
@@ -1,28 +1,28 @@
---
hide:
- navigation
---

# Getting started

## Installation

=== "Pip"

````
```console
pip install fillname
```
````

=== "Development mode"

````
```console
git clone https://github.com/potassco/fillname.git/
cd fillname
pip install -e .[all]
```

!!! warning
Use only for development purposes
````

## Usage

Expand Down
12 changes: 3 additions & 9 deletions docs/index.md
Original file line number Diff line number Diff line change
@@ -1,16 +1,10 @@
---
title: Home
hide:
- navigation
- toc
- navigation
- toc
---

# fillname

*fillname* fill description

!!! info

```
*fillname* is part of the [Potassco] suit (which is the home of *clingo* and the other ASP tools)
```
*fillname* is part of the [Potassco](https://potassco.org) suite.

0 comments on commit 58022f9

Please sign in to comment.