Mercurial > hg > kdocs
annotate make/make.sh @ 110:01b77829d010
Lots of stuff bit-rotted in scripts to extract documentation from current kernel sources. De-bit-rot it.
author | Rob Landley <rob@landley.net> |
---|---|
date | Sat, 19 Feb 2011 21:32:24 -0600 |
parents | c27b8c8a1b14 |
children | 7da9bd82122c |
rev | line source |
---|---|
1
34a037d461f9
Some random infrastructure to build documentation from source.
Rob Landley <rob@landley.net>
parents:
diff
changeset
|
1 #!/bin/bash |
34a037d461f9
Some random infrastructure to build documentation from source.
Rob Landley <rob@landley.net>
parents:
diff
changeset
|
2 |
81
6adf16f10d54
Split up make.sh so it's easier to call subsets of its functionality.
Rob Landley <rob@landley.net>
parents:
72
diff
changeset
|
3 # Set environment variables and call do-*.sh in sequence |
29
c91c3395876f
Produce better menuconfig output, now in multiple files and with concise
Rob Landley <rob@landley.net>
parents:
28
diff
changeset
|
4 |
81
6adf16f10d54
Split up make.sh so it's easier to call subsets of its functionality.
Rob Landley <rob@landley.net>
parents:
72
diff
changeset
|
5 [ -z "$WEBDIR" ] && export WEBDIR=~/www/kdocs |
105
c27b8c8a1b14
Break down and use git instead of hg for upstream kernel source.
Rob Landley <rob@landley.net>
parents:
88
diff
changeset
|
6 [ -z "$LNXDIR" ] && export LNXDIR=~/linux/linux |
51
93c68f362860
New script to download OLS files (and others), and split up volumes into
Rob Landley <rob@landley.net>
parents:
49
diff
changeset
|
7 |
83
13a980b307f8
Largeish rewrite of make.sh, breaking things out into functions. This has the
Rob Landley <rob@landley.net>
parents:
81
diff
changeset
|
8 source "$WEBDIR"/make/functions.sh |
13a980b307f8
Largeish rewrite of make.sh, breaking things out into functions. This has the
Rob Landley <rob@landley.net>
parents:
81
diff
changeset
|
9 |
81
6adf16f10d54
Split up make.sh so it's easier to call subsets of its functionality.
Rob Landley <rob@landley.net>
parents:
72
diff
changeset
|
10 # Update mercurial repository |
105
c27b8c8a1b14
Break down and use git instead of hg for upstream kernel source.
Rob Landley <rob@landley.net>
parents:
88
diff
changeset
|
11 #if [ "$1" != "--nonet" ] |
c27b8c8a1b14
Break down and use git instead of hg for upstream kernel source.
Rob Landley <rob@landley.net>
parents:
88
diff
changeset
|
12 #then |
c27b8c8a1b14
Break down and use git instead of hg for upstream kernel source.
Rob Landley <rob@landley.net>
parents:
88
diff
changeset
|
13 # echo "Update Linux source from mercurial on kernel.org" |
c27b8c8a1b14
Break down and use git instead of hg for upstream kernel source.
Rob Landley <rob@landley.net>
parents:
88
diff
changeset
|
14 # get_git || exit 1 |
c27b8c8a1b14
Break down and use git instead of hg for upstream kernel source.
Rob Landley <rob@landley.net>
parents:
88
diff
changeset
|
15 #else |
c27b8c8a1b14
Break down and use git instead of hg for upstream kernel source.
Rob Landley <rob@landley.net>
parents:
88
diff
changeset
|
16 # shift |
c27b8c8a1b14
Break down and use git instead of hg for upstream kernel source.
Rob Landley <rob@landley.net>
parents:
88
diff
changeset
|
17 #fi |
51
93c68f362860
New script to download OLS files (and others), and split up volumes into
Rob Landley <rob@landley.net>
parents:
49
diff
changeset
|
18 |
88
41f999d7f077
Disentangle Documentation from temporary linux directory. (Allows the scsi
Rob Landley <rob@landley.net>
parents:
86
diff
changeset
|
19 echo "Set up Linux build directory" |
83
13a980b307f8
Largeish rewrite of make.sh, breaking things out into functions. This has the
Rob Landley <rob@landley.net>
parents:
81
diff
changeset
|
20 setuplinuxtemp || exit 1 |
13a980b307f8
Largeish rewrite of make.sh, breaking things out into functions. This has the
Rob Landley <rob@landley.net>
parents:
81
diff
changeset
|
21 |
13a980b307f8
Largeish rewrite of make.sh, breaking things out into functions. This has the
Rob Landley <rob@landley.net>
parents:
81
diff
changeset
|
22 if [ "$1" == "--long" ] |
13a980b307f8
Largeish rewrite of make.sh, breaking things out into functions. This has the
Rob Landley <rob@landley.net>
parents:
81
diff
changeset
|
23 then |
13a980b307f8
Largeish rewrite of make.sh, breaking things out into functions. This has the
Rob Landley <rob@landley.net>
parents:
81
diff
changeset
|
24 # I have a dual processor laptop, so overlap work here. Have make htmldocs |
13a980b307f8
Largeish rewrite of make.sh, breaking things out into functions. This has the
Rob Landley <rob@landley.net>
parents:
81
diff
changeset
|
25 # produce split-up versions in the background (which is very slow) |
13a980b307f8
Largeish rewrite of make.sh, breaking things out into functions. This has the
Rob Landley <rob@landley.net>
parents:
81
diff
changeset
|
26 # while other work is done in the foreground. |
86
ca7e38053195
Updates and bug fixes, should work now. Options to make.sh are --nonet and
Rob Landley <rob@landley.net>
parents:
83
diff
changeset
|
27 make_htmldocs > /dev/null 2>/dev/null & |
83
13a980b307f8
Largeish rewrite of make.sh, breaking things out into functions. This has the
Rob Landley <rob@landley.net>
parents:
81
diff
changeset
|
28 fi |
36
9a5ef2d1264e
Call indexsections.py and work around a bug in xmlto.
Rob Landley <rob@landley.net>
parents:
32
diff
changeset
|
29 |
88
41f999d7f077
Disentangle Documentation from temporary linux directory. (Allows the scsi
Rob Landley <rob@landley.net>
parents:
86
diff
changeset
|
30 echo "Install and index Documentation directory." |
41f999d7f077
Disentangle Documentation from temporary linux directory. (Allows the scsi
Rob Landley <rob@landley.net>
parents:
86
diff
changeset
|
31 update_documentation_dir || exit 1 |
41f999d7f077
Disentangle Documentation from temporary linux directory. (Allows the scsi
Rob Landley <rob@landley.net>
parents:
86
diff
changeset
|
32 |
81
6adf16f10d54
Split up make.sh so it's easier to call subsets of its functionality.
Rob Landley <rob@landley.net>
parents:
72
diff
changeset
|
33 echo "Update master index." |
110
01b77829d010
Lots of stuff bit-rotted in scripts to extract documentation from current kernel sources. De-bit-rot it.
Rob Landley <rob@landley.net>
parents:
105
diff
changeset
|
34 #update_master || exit 1 |
36
9a5ef2d1264e
Call indexsections.py and work around a bug in xmlto.
Rob Landley <rob@landley.net>
parents:
32
diff
changeset
|
35 |
81
6adf16f10d54
Split up make.sh so it's easier to call subsets of its functionality.
Rob Landley <rob@landley.net>
parents:
72
diff
changeset
|
36 echo "Mirror resources" |
83
13a980b307f8
Largeish rewrite of make.sh, breaking things out into functions. This has the
Rob Landley <rob@landley.net>
parents:
81
diff
changeset
|
37 mirror_files || exit 1 |
38
841aab0fd204
Add version info to menuconfig html, and genericize make with environment vars
Rob Landley <rob@landley.net>
parents:
36
diff
changeset
|
38 |
841aab0fd204
Add version info to menuconfig html, and genericize make with environment vars
Rob Landley <rob@landley.net>
parents:
36
diff
changeset
|
39 echo Copy readme files from Linux kernel |
83
13a980b307f8
Largeish rewrite of make.sh, breaking things out into functions. This has the
Rob Landley <rob@landley.net>
parents:
81
diff
changeset
|
40 find_readmes || exit 1 |
32
6f30fdd28dab
Add a few google videos, and the README files from the kernel source.
Rob Landley <rob@landley.net>
parents:
29
diff
changeset
|
41 |
26
3c78854053e3
A script to convert menuconfig to html. Have make.sh call it for all $ARCH.
Rob Landley <rob@landley.net>
parents:
12
diff
changeset
|
42 echo Convert kconfig to html for all architectures |
83
13a980b307f8
Largeish rewrite of make.sh, breaking things out into functions. This has the
Rob Landley <rob@landley.net>
parents:
81
diff
changeset
|
43 htmlize_menuconfig || exit 1 |
29
c91c3395876f
Produce better menuconfig output, now in multiple files and with concise
Rob Landley <rob@landley.net>
parents:
28
diff
changeset
|
44 |
86
ca7e38053195
Updates and bug fixes, should work now. Options to make.sh are --nonet and
Rob Landley <rob@landley.net>
parents:
83
diff
changeset
|
45 # Install the htmldocs |
ca7e38053195
Updates and bug fixes, should work now. Options to make.sh are --nonet and
Rob Landley <rob@landley.net>
parents:
83
diff
changeset
|
46 if [ "$1" == "--long" ] |
ca7e38053195
Updates and bug fixes, should work now. Options to make.sh are --nonet and
Rob Landley <rob@landley.net>
parents:
83
diff
changeset
|
47 then |
ca7e38053195
Updates and bug fixes, should work now. Options to make.sh are --nonet and
Rob Landley <rob@landley.net>
parents:
83
diff
changeset
|
48 echo Build nochunks htmldocs. |
ca7e38053195
Updates and bug fixes, should work now. Options to make.sh are --nonet and
Rob Landley <rob@landley.net>
parents:
83
diff
changeset
|
49 make_htmlnochunks || exit 1 |
72
3232f421c770
Exit if any of the patches fail to apply, show name of each patch as it's
Rob Landley <rob@landley.net>
parents:
59
diff
changeset
|
50 |
86
ca7e38053195
Updates and bug fixes, should work now. Options to make.sh are --nonet and
Rob Landley <rob@landley.net>
parents:
83
diff
changeset
|
51 echo Search for references to RFC documents |
ca7e38053195
Updates and bug fixes, should work now. Options to make.sh are --nonet and
Rob Landley <rob@landley.net>
parents:
83
diff
changeset
|
52 findrfc || exit 1 |
1
34a037d461f9
Some random infrastructure to build documentation from source.
Rob Landley <rob@landley.net>
parents:
diff
changeset
|
53 |
86
ca7e38053195
Updates and bug fixes, should work now. Options to make.sh are --nonet and
Rob Landley <rob@landley.net>
parents:
83
diff
changeset
|
54 # Wait for background task(s) to finish. If there aren't any, this continues |
ca7e38053195
Updates and bug fixes, should work now. Options to make.sh are --nonet and
Rob Landley <rob@landley.net>
parents:
83
diff
changeset
|
55 # immediately. |
ca7e38053195
Updates and bug fixes, should work now. Options to make.sh are --nonet and
Rob Landley <rob@landley.net>
parents:
83
diff
changeset
|
56 wait4background |
81
6adf16f10d54
Split up make.sh so it's easier to call subsets of its functionality.
Rob Landley <rob@landley.net>
parents:
72
diff
changeset
|
57 |
86
ca7e38053195
Updates and bug fixes, should work now. Options to make.sh are --nonet and
Rob Landley <rob@landley.net>
parents:
83
diff
changeset
|
58 # Install the htmldocs |
ca7e38053195
Updates and bug fixes, should work now. Options to make.sh are --nonet and
Rob Landley <rob@landley.net>
parents:
83
diff
changeset
|
59 install_htmldocs || exit 1 |
ca7e38053195
Updates and bug fixes, should work now. Options to make.sh are --nonet and
Rob Landley <rob@landley.net>
parents:
83
diff
changeset
|
60 fi |
81
6adf16f10d54
Split up make.sh so it's easier to call subsets of its functionality.
Rob Landley <rob@landley.net>
parents:
72
diff
changeset
|
61 |
12
b7f376e957ac
Fix two bugs, one of them apparently in bash.
Rob Landley <rob@landley.net>
parents:
11
diff
changeset
|
62 echo "Done with kdocs" |