ExternalVendorCode/genode
1
0
Fork 0
mirror of https://github.com/genodelabs/genode.git synced 2025-02-20 09:46:20 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity

doc: markup-fix in doc/porting_guide.txt

Browse Source
This commit is contained in:
Norman Feske 2014-05-29 10:15:21 +02:00
parent 5f8577ae71
commit 5a32c08235
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
doc/porting_guide.txt
View File

@ -232,7 +232,7 @@ The DosBox port can now be prepared by executing
However, we get the following error message:
Error: <rep-dir>/ports/dosbox.port is out of date, expected <fingerprint>
! Error: <rep-dir>/ports/dosbox.port is out of date, expected <fingerprint>
We get this message because we had specified the "dummy" hash value in
the _dosbox.hash_ file. The prepare_port tool computes a fingerprint