/usr/share/doc/dpuser-doc/makewww.dpuser is in dpuser-doc 3.3+p1+dfsg-2build1.
This file is owned by root:root, with mode 0o644.
The actual contents of the file can be viewed below.
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 56 57 58 59 60 61 62 63 64 65 66 67 68 69 70 71 72 73 74 75 76 77 78 79 | @tools.dpuser
function fixpgplot, current {
fixpgplot = stringarray(0)
n = 1
while (strpos(current[n], "<table CELLSPACING=0") == -1) {
fixpgplot += current[n]
n++
}
n += 2
fixpgplot += "<h1 class=\"declaration\">" + current[n] + "</h1>"
n += 2
while (n <= nelements(current)) {
fixpgplot += current[n]
n++
}
}
files = ["index.html","history.html","syntax.html","operators.html","ifandloop.html","variables.html","plotting.html","fitsfiles.html","category.html","functions.html","procedures.html","pgplot.html","examples.html"]
curdir = pwd()
cd ".."
files += dir("function_*.html")
files += dir("procedure_*.html")
files += dir("pgplot_*.html")
cd curdir
style = import("style.html", /text);
for n=1, nelements(files) {
print files[n]
content = import("../" + files[n], /text)
if (strpos(files[n], "pgplot_") != -1) content = fixpgplot(content)
output = stringarray(0)
j = 1
while (strpos(content[j], "</head>") == -1) {
output += content[j]
j++
}
output += style
while (strpos(content[j], "<h1") == -1) {
output += content[j]
j++
}
output += menu(html_header(), files[n])
while (strpos(content[j], "</body>") == -1) {
output += content[j]
j++
}
output += footer()
while (j <= nelements(content)) {
output += content[j]
j++
}
export files[n], output
}
exec "cp ../*.png ."
output = stringarray(0)
output += "<html>"
output += "<head>"
output += "<title>DPUSER Search Results</title>"
output += style
output += "<link rel=\"shortcut icon\" href=\"dpuser.ico\" type=\"image/xicon\">"
output += "</head>"
output += "<body>"
output += menu(html_header(), "nix.html")
output += "<h1>Search Results</h1>"
output += "<hr>"
output += "<script src=\"index.js\">"
output += "</script>"
output += "This search was created by © Satadip Dutta 1997"
output += "<hr>"
output += footer()
output += "</body>"
output += "</html>"
export "search.html", output
|