diff options
author | Juergen Daubert <jue@jue.li> | 2018-04-13 14:36:23 +0200 |
---|---|---|
committer | Juergen Daubert <jue@jue.li> | 2018-04-13 14:36:23 +0200 |
commit | 38a2936178a681c3f321e5fef591bfd54761d669 (patch) | |
tree | e59b0d64b312d31354e51cfdf6385d7d40f9a49c /doc/handbook/get_wiki_handbook | |
parent | b47dff303a403ec861bbe88e832af48e9b783529 (diff) | |
download | iso-38a2936178a681c3f321e5fef591bfd54761d669.tar.gz iso-38a2936178a681c3f321e5fef591bfd54761d669.tar.xz |
doc/handbook: update CRUX version to 3.4
Diffstat (limited to 'doc/handbook/get_wiki_handbook')
-rwxr-xr-x | doc/handbook/get_wiki_handbook | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/handbook/get_wiki_handbook b/doc/handbook/get_wiki_handbook index 6f0a59c..2153298 100755 --- a/doc/handbook/get_wiki_handbook +++ b/doc/handbook/get_wiki_handbook @@ -4,7 +4,7 @@ INFILE=handbook.in OUTFILE=handbook.txt -CRUX_VERSION=3.3 +CRUX_VERSION=3.4 TITLE="HANDBOOK FOR CRUX $CRUX_VERSION" URL="http://crux.nu/Main/Handbook${CRUX_VERSION/\./-}?action=print" |