mirror of
https://github.com/subsurface/subsurface.git
synced 2025-01-19 06:15:26 +00:00
Fix more references to the ReleaseNotes
This should be all of them. Signed-off-by: Dirk Hohndel <dirk@hohndel.org>
This commit is contained in:
parent
6263857f74
commit
b9d146bab3
3 changed files with 3 additions and 3 deletions
|
@ -2,6 +2,6 @@ gpl-2.0.txt
|
|||
README
|
||||
Readme.testing
|
||||
Readme.ubuntu
|
||||
ReleaseNotes.txt
|
||||
ReleaseNotes/ReleaseNotes.txt
|
||||
SupportedDivecomputers.txt
|
||||
TODO.CCR
|
||||
|
|
|
@ -35,7 +35,7 @@ override_dh_auto_configure:
|
|||
|
||||
override_dh_installchangelogs:
|
||||
dh_installchangelogs
|
||||
dh_installchangelogs ReleaseNotes.txt
|
||||
dh_installchangelogs ReleaseNotes/ReleaseNotes.txt
|
||||
txt2html Documentation/user-manual.txt > Documentation/user-manual.html
|
||||
mkdir -p debian/subsurface/usr/share/doc/subsurface
|
||||
cp Documentation/user-manual.txt debian/subsurface/usr/share/doc/subsurface/
|
||||
|
|
|
@ -15,7 +15,7 @@ set -eu
|
|||
#set -x
|
||||
|
||||
# You would typically add/remove files to/from the list
|
||||
files="Documentation/user-manual.txt Makefile README ReleaseNotes.txt"
|
||||
files="Documentation/user-manual.txt Makefile README ReleaseNotes/ReleaseNotes.txt"
|
||||
|
||||
whine() {
|
||||
echo "$0: $*" >&2
|
||||
|
|
Loading…
Add table
Reference in a new issue