1<!DOCTYPE html PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN" "http://www.w3.org/TR/html4/loose.dtd"> 2<html> 3<!-- Created by texinfo, http://www.gnu.org/software/texinfo/ --> 4<!-- This file redirects to the location of a node or anchor --> 5<head> 6<meta http-equiv="Content-Type" content="text/html; charset=utf-8"> 7<!-- 8 9This is a test manual, trivially and explicitly in the public 10domain. 11 12 --> 13<title>Titlepage anchor (Top)</title> 14 15<meta name="description" content="Titlepage anchor (Top)"> 16<meta name="keywords" content="Titlepage anchor (Top)"> 17<meta name="resource-type" content="document"> 18<meta name="distribution" content="global"> 19<meta name="Generator" content="texi2any"> 20<style type="text/css"> 21<!-- 22a.copiable-anchor {visibility: hidden; text-decoration: none; line-height: 0em} 23a.summary-letter {text-decoration: none} 24blockquote.indentedblock {margin-right: 0em} 25div.display {margin-left: 3.2em} 26div.example {margin-left: 3.2em} 27kbd {font-style: oblique} 28pre.display {font-family: inherit} 29pre.format {font-family: inherit} 30pre.menu-comment {font-family: serif} 31pre.menu-preformatted {font-family: serif} 32span.nolinebreak {white-space: nowrap} 33span.roman {font-family: initial; font-weight: normal} 34span.sansserif {font-family: sans-serif; font-weight: normal} 35span:hover a.copiable-anchor {visibility: visible} 36ul.no-bullet {list-style: none} 37--> 38</style> 39 40<meta http-equiv="Refresh" content="0; url=index.html#Titlepage-anchor"> 41<meta name="viewport" content="width=device-width,initial-scale=1"> 42 43</head> 44 45<body lang="en"> 46 47<p>The node you are looking for is at <a href="index.html#Titlepage-anchor">Titlepage anchor</a>.</p> 48</body> 49