1
0
mirror of https://github.com/gnss-sdr/gnss-sdr synced 2024-06-24 05:53:16 +00:00

Fix variant in doxygen port

This commit is contained in:
Carles Fernandez 2019-03-09 09:27:38 +01:00
parent c87a9ddc9a
commit 75a2227155
No known key found for this signature in database
GPG Key ID: 4C583C52B0C3877D

View File

@ -542,7 +542,7 @@ In a terminal, type:
~~~~~~
$ sudo port selfupdate
$ sudo port upgrade outdated
$ sudo port install doxygen +latex
$ sudo port install doxygen +docs
$ sudo port install gnuradio
$ sudo port install armadillo
$ sudo port install gnutls