git.annexia.org
/
goals.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
build: Remove man/*.? man pages when running 'make clean'.
[goals.git]
/
Goalfile.in
diff --git
a/Goalfile.in
b/Goalfile.in
index
187ced3
..
39a9587
100644
(file)
--- a/
Goalfile.in
+++ b/
Goalfile.in
@@
-18,7
+18,7
@@
include "ocaml.gl"
include "ocaml.gl"
-let subdirs = [ "m4", "src", "stdlib", "docs", "tests" ]
+let subdirs = [ "m4", "src", "stdlib", "docs", "
man", "
tests" ]
goal all = : "Goalfile", tool, documentation;
goal all = : "Goalfile", tool, documentation;
@@
-37,7
+37,7
@@
goal clean = {
popd
done
rm -f src/parser.ml src/parser.mli src/lexer.ml src/parser.conflicts
popd
done
rm -f src/parser.ml src/parser.mli src/lexer.ml src/parser.conflicts
- rm -f
docs/*.1
+ rm -f
man/*.1 man/*.5
# We don't delete src/goals because it is required to do builds.
# If you want to really delete it, use the maintainer-clean rule.
# We don't delete src/goals because it is required to do builds.
# If you want to really delete it, use the maintainer-clean rule.
@@
-110,15
+110,17
@@
goal depend =
let POD2MAN = "@POD2MAN@"
let POD2MAN = "@POD2MAN@"
-goal documentation = : pod2man ("goals")
+goal documentation = : pod2man ("goals", "1"),
+ pod2man ("Goalfile", "5"),
+ pod2man ("goals-reference", "5")
-goal pod2man (page) =
-"
docs/%page.1
" : "docs/%page.pod" {
+goal pod2man (page
, section
) =
+"
man/%page.%section
" : "docs/%page.pod" {
rm -f %@ %@-t
%POD2MAN \
-u \
-c "goals" \
--release "@PACKAGE_NAME@-@PACKAGE_VERSION@" \
rm -f %@ %@-t
%POD2MAN \
-u \
-c "goals" \
--release "@PACKAGE_NAME@-@PACKAGE_VERSION@" \
- --section
1
%< > %@-t
+ --section
%section
%< > %@-t
mv %@-t %@
}
\ No newline at end of file
mv %@-t %@
}
\ No newline at end of file