Skip to content

Commit

Permalink
ogma-cli: Fix rendering of quotes in URLs in package description. Refs
Browse files Browse the repository at this point in the history
…#72.

The description in the cabal file contains two entries with double quotes in
the tiles of links. Those double quotes are not displayed correctly on hackage:
instead of appearing as ", they are shown as ".

This commit moves the quotes outside the link text so that hackage will render
them without escaping them.
  • Loading branch information
ivanperez-keera committed May 21, 2023
1 parent ddb6667 commit c460008
Showing 1 changed file with 2 additions and 2 deletions.
4 changes: 2 additions & 2 deletions ogma-cli/ogma-cli.cabal
Original file line number Diff line number Diff line change
Expand Up @@ -105,9 +105,9 @@ description: Ogma is a tool to facilitate the integration of safe runtim
.
- <https://ros.org/ The Robot Operating System (ROS 2) web page>.
.
- <https://ntrs.nasa.gov/citations/20200003164 "Copilot 3">, Perez, Dedden and Goodloe. 2020.
- "<https://ntrs.nasa.gov/citations/20200003164 Copilot 3>", Perez, Dedden and Goodloe. 2020.
.
- <https://shemesh.larc.nasa.gov/people/cam/publications/FMAS2020_3.pdf "From Requirements to Autonomous Flight">, Dutle et al. 2020.
- "<https://shemesh.larc.nasa.gov/people/cam/publications/FMAS2020_3.pdf From Requirements to Autonomous Flight>", Dutle et al. 2020.

-- Ogma packages should be uncurated so that only the official maintainers make
-- changes.
Expand Down

0 comments on commit c460008

Please sign in to comment.