diff options
author | Sven Gothel <[email protected]> | 2013-07-17 12:18:09 +0200 |
---|---|---|
committer | Sven Gothel <[email protected]> | 2013-07-17 12:18:09 +0200 |
commit | 05f3f4330dcfc544c1e3f8cd252a259f8fef0ad9 (patch) | |
tree | 486a56cd8c42f226a968ad9175e258fc33e10bda /make/createTagletProps.sh | |
parent | bfb10d309d97c19a33f9b6758f647186f8e0ddd6 (diff) |
API doc: Update native-taglet / Fix creation, i.e. use 'man2' instead of 'man'.
Diffstat (limited to 'make/createTagletProps.sh')
-rw-r--r-- | make/createTagletProps.sh | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/make/createTagletProps.sh b/make/createTagletProps.sh index acd762bdd..a9659cdcb 100644 --- a/make/createTagletProps.sh +++ b/make/createTagletProps.sh @@ -20,7 +20,7 @@ createProperties() { >tmp -createProperties man | sed -e "s/man\//man2\//ig" >> tmp +createProperties man2 >> tmp createProperties man3 >> tmp createProperties man4 >> tmp @@ -30,5 +30,5 @@ echo "#Generated, do not edit, edit createTagletProps.sh instead. #to the function specific OpenGL documentation man pages. nativetaglet.baseUrl=${root}" > native-taglet.properties; -cat tmp | sort -k1,2 -r | awk '!x[$1]++' | tr -d [:blank:] | sort | sed -e "s/man2\//man\//ig" >> native-taglet.properties; +cat tmp | sort -k1,2 -r | awk '!x[$1]++' | tr -d [:blank:] | sort >> native-taglet.properties; rm tmp |