This is makeindex, version 2.13 [07-Mar-1997] (using kpathsea).
Scanning input file manual.idx...
!! Input index error (file = manual.idx, line = 1):
   -- Illegal page number -1.
!! Input index error (file = manual.idx, line = 2):
   -- Illegal page number -1.
!! Input index error (file = manual.idx, line = 3):
   -- Illegal page number -1.
!! Input index error (file = manual.idx, line = 4):
   -- Illegal page number -2.
!! Input index error (file = manual.idx, line = 5):
   -- Illegal page number -2.
!! Input index error (file = manual.idx, line = 6):
   -- Illegal page number -3.
!! Input index error (file = manual.idx, line = 7):
   -- Illegal page number -3.
!! Input index error (file = manual.idx, line = 8):
   -- Illegal page number -3.
!! Input index error (file = manual.idx, line = 9):
   -- Illegal page number -3.
!! Input index error (file = manual.idx, line = 10):
   -- Illegal page number -4.
!! Input index error (file = manual.idx, line = 11):
   -- Illegal page number -4.
!! Input index error (file = manual.idx, line = 12):
   -- Illegal page number -4.
!! Input index error (file = manual.idx, line = 13):
   -- Illegal page number -4.
!! Input index error (file = manual.idx, line = 14):
   -- Illegal page number -4.
!! Input index error (file = manual.idx, line = 15):
   -- Illegal page number -4.
!! Input index error (file = manual.idx, line = 16):
   -- Illegal page number -4.
!! Input index error (file = manual.idx, line = 17):
   -- Illegal page number -4.
!! Input index error (file = manual.idx, line = 18):
   -- Illegal page number -5.
!! Input index error (file = manual.idx, line = 19):
   -- Illegal page number -5.
!! Input index error (file = manual.idx, line = 20):
   -- Illegal page number -5.
!! Input index error (file = manual.idx, line = 21):
   -- Illegal page number -5.
!! Input index error (file = manual.idx, line = 22):
   -- Illegal page number -5.
!! Input index error (file = manual.idx, line = 23):
   -- Illegal page number -5.
!! Input index error (file = manual.idx, line = 24):
   -- Illegal page number -6.
!! Input index error (file = manual.idx, line = 25):
   -- Illegal page number -6.
!! Input index error (file = manual.idx, line = 26):
   -- Illegal page number -6.
!! Input index error (file = manual.idx, line = 27):
   -- Illegal page number -6.
!! Input index error (file = manual.idx, line = 28):
   -- Illegal page number -6.
!! Input index error (file = manual.idx, line = 29):
   -- Illegal page number -6.
!! Input index error (file = manual.idx, line = 30):
   -- Illegal page number -6.
!! Input index error (file = manual.idx, line = 31):
   -- Illegal page number -7.
!! Input index error (file = manual.idx, line = 32):
   -- Illegal page number -7.
!! Input index error (file = manual.idx, line = 33):
   -- Illegal page number -1.
!! Input index error (file = manual.idx, line = 34):
   -- Illegal page number -1.
!! Input index error (file = manual.idx, line = 35):
   -- Illegal page number -1.
!! Input index error (file = manual.idx, line = 36):
   -- Illegal page number -2.
!! Input index error (file = manual.idx, line = 37):
   -- Illegal page number -2.
!! Input index error (file = manual.idx, line = 38):
   -- Illegal page number -2.
!! Input index error (file = manual.idx, line = 39):
   -- Illegal page number -2.
!! Input index error (file = manual.idx, line = 40):
   -- Illegal page number -2.
!! Input index error (file = manual.idx, line = 41):
   -- Illegal page number -3.
!! Input index error (file = manual.idx, line = 42):
   -- Illegal page number -3.
!! Input index error (file = manual.idx, line = 43):
   -- Illegal page number -3.
!! Input index error (file = manual.idx, line = 44):
   -- Illegal page number -3.
!! Input index error (file = manual.idx, line = 45):
   -- Illegal page number -4.
!! Input index error (file = manual.idx, line = 46):
   -- Illegal page number -4.
!! Input index error (file = manual.idx, line = 47):
   -- Illegal page number -4.
!! Input index error (file = manual.idx, line = 48):
   -- Illegal page number -4.
!! Input index error (file = manual.idx, line = 49):
   -- Illegal page number -4.
!! Input index error (file = manual.idx, line = 50):
   -- Illegal page number -4.
!! Input index error (file = manual.idx, line = 51):
   -- Illegal page number -4.
!! Input index error (file = manual.idx, line = 52):
   -- Illegal page number -5.
!! Input index error (file = manual.idx, line = 53):
   -- Illegal page number -5.
!! Input index error (file = manual.idx, line = 54):
   -- Illegal page number -5.
!! Input index error (file = manual.idx, line = 55):
   -- Illegal page number -5.
!! Input index error (file = manual.idx, line = 56):
   -- Illegal page number -6.
!! Input index error (file = manual.idx, line = 57):
   -- Illegal page number -6.
!! Input index error (file = manual.idx, line = 58):
   -- Illegal page number -6.
!! Input index error (file = manual.idx, line = 59):
   -- Illegal page number -6.
!! Input index error (file = manual.idx, line = 60):
   -- Illegal page number -6.
!! Input index error (file = manual.idx, line = 61):
   -- Illegal page number -6.
!! Input index error (file = manual.idx, line = 62):
   -- Illegal page number -7.
!! Input index error (file = manual.idx, line = 63):
   -- Illegal page number -7.
!! Input index error (file = manual.idx, line = 64):
   -- Illegal page number -7.
!! Input index error (file = manual.idx, line = 65):
   -- Illegal page number -7.
!! Input index error (file = manual.idx, line = 66):
   -- Illegal page number -7.
!! Input index error (file = manual.idx, line = 67):
   -- Illegal page number -7.
!! Input index error (file = manual.idx, line = 68):
   -- Illegal page number -7.
!! Input index error (file = manual.idx, line = 69):
   -- Illegal page number -7.
!! Input index error (file = manual.idx, line = 70):
   -- Illegal page number -7.
!! Input index error (file = manual.idx, line = 71):
   -- Illegal page number -7.
!! Input index error (file = manual.idx, line = 72):
   -- Illegal page number -8.
!! Input index error (file = manual.idx, line = 73):
   -- Illegal page number -8.
!! Input index error (file = manual.idx, line = 74):
   -- Illegal page number -8.
!! Input index error (file = manual.idx, line = 75):
   -- Illegal page number -8.
!! Input index error (file = manual.idx, line = 76):
   -- Illegal page number -8.
!! Input index error (file = manual.idx, line = 77):
   -- Illegal page number -8.
!! Input index error (file = manual.idx, line = 78):
   -- Illegal page number -9.
!! Input index error (file = manual.idx, line = 79):
   -- Illegal page number -9.
!! Input index error (file = manual.idx, line = 80):
   -- Illegal page number -9.
!! Input index error (file = manual.idx, line = 81):
   -- Illegal page number -10.
!! Input index error (file = manual.idx, line = 82):
   -- Illegal page number -10.
!! Input index error (file = manual.idx, line = 83):
   -- Illegal page number -10.
!! Input index error (file = manual.idx, line = 84):
   -- Illegal page number -10.
!! Input index error (file = manual.idx, line = 85):
   -- Illegal page number -10.
!! Input index error (file = manual.idx, line = 86):
   -- Illegal page number -10.
!! Input index error (file = manual.idx, line = 87):
   -- Illegal page number -11.
!! Input index error (file = manual.idx, line = 88):
   -- Illegal page number -11.
!! Input index error (file = manual.idx, line = 89):
   -- Illegal page number -11.
!! Input index error (file = manual.idx, line = 90):
   -- Illegal page number -11.
!! Input index error (file = manual.idx, line = 91):
   -- Illegal page number -12.
!! Input index error (file = manual.idx, line = 92):
   -- Illegal page number -12.
!! Input index error (file = manual.idx, line = 93):
   -- Illegal page number -12.
!! Input index error (file = manual.idx, line = 94):
   -- Illegal page number -12.
!! Input index error (file = manual.idx, line = 95):
   -- Illegal page number -12.
!! Input index error (file = manual.idx, line = 96):
   -- Illegal page number -12.
!! Input index error (file = manual.idx, line = 97):
   -- Illegal page number -13.
!! Input index error (file = manual.idx, line = 98):
   -- Illegal page number -13.
!! Input index error (file = manual.idx, line = 99):
   -- Illegal page number -13.
!! Input index error (file = manual.idx, line = 100):
   -- Illegal page number -13.
!! Input index error (file = manual.idx, line = 101):
   -- Illegal page number -13.
!! Input index error (file = manual.idx, line = 102):
   -- Illegal page number -14.
!! Input index error (file = manual.idx, line = 103):
   -- Illegal page number -14.
!! Input index error (file = manual.idx, line = 104):
   -- Illegal page number -14.
!! Input index error (file = manual.idx, line = 105):
   -- Illegal page number -14.
!! Input index error (file = manual.idx, line = 106):
   -- Illegal page number -14.
!! Input index error (file = manual.idx, line = 107):
   -- Illegal page number -1.
!! Input index error (file = manual.idx, line = 108):
   -- Illegal page number -1.
!! Input index error (file = manual.idx, line = 109):
   -- Illegal page number -1.
!! Input index error (file = manual.idx, line = 110):
   -- Illegal page number -1.
!! Input index error (file = manual.idx, line = 111):
   -- Illegal page number -1.
!! Input index error (file = manual.idx, line = 112):
   -- Illegal page number -1.
!! Input index error (file = manual.idx, line = 113):
   -- Illegal page number -1.
!! Input index error (file = manual.idx, line = 114):
   -- Illegal page number -2.
!! Input index error (file = manual.idx, line = 115):
   -- Illegal page number -2.
!! Input index error (file = manual.idx, line = 116):
   -- Illegal page number -2.
!! Input index error (file = manual.idx, line = 117):
   -- Illegal page number -2.
!! Input index error (file = manual.idx, line = 118):
   -- Illegal page number -2.
!! Input index error (file = manual.idx, line = 119):
   -- Illegal page number -2.
!! Input index error (file = manual.idx, line = 120):
   -- Illegal page number -2.
!! Input index error (file = manual.idx, line = 121):
   -- Illegal page number -1.
!! Input index error (file = manual.idx, line = 122):
   -- Illegal page number -1.
!! Input index error (file = manual.idx, line = 123):
   -- Illegal page number -1.
!! Input index error (file = manual.idx, line = 124):
   -- Illegal page number -1.
!! Input index error (file = manual.idx, line = 125):
   -- Illegal page number -2.
!! Input index error (file = manual.idx, line = 126):
   -- Illegal page number -2.
!! Input index error (file = manual.idx, line = 127):
   -- Illegal page number -2.
!! Input index error (file = manual.idx, line = 128):
   -- Illegal page number -2.
!! Input index error (file = manual.idx, line = 129):
   -- Illegal page number -3.
!! Input index error (file = manual.idx, line = 130):
   -- Illegal page number -3.
!! Input index error (file = manual.idx, line = 131):
   -- Illegal page number -3.
!! Input index error (file = manual.idx, line = 132):
   -- Illegal page number -3.
!! Input index error (file = manual.idx, line = 133):
   -- Illegal page number -3.
!! Input index error (file = manual.idx, line = 134):
   -- Illegal page number -4.
!! Input index error (file = manual.idx, line = 135):
   -- Illegal page number -4.
!! Input index error (file = manual.idx, line = 136):
   -- Illegal page number -4.
!! Input index error (file = manual.idx, line = 137):
   -- Illegal page number -1.
!! Input index error (file = manual.idx, line = 138):
   -- Illegal page number -1.
!! Input index error (file = manual.idx, line = 139):
   -- Illegal page number -1.
!! Input index error (file = manual.idx, line = 140):
   -- Illegal page number -2.
!! Input index error (file = manual.idx, line = 141):
   -- Illegal page number -2.
!! Input index error (file = manual.idx, line = 142):
   -- Illegal page number -2.
!! Input index error (file = manual.idx, line = 143):
   -- Illegal page number -2.
!! Input index error (file = manual.idx, line = 144):
   -- Illegal page number -2.
!! Input index error (file = manual.idx, line = 145):
   -- Illegal page number -2.
!! Input index error (file = manual.idx, line = 146):
   -- Illegal page number -3.
!! Input index error (file = manual.idx, line = 147):
   -- Illegal page number -3.
!! Input index error (file = manual.idx, line = 148):
   -- Illegal page number -3.
!! Input index error (file = manual.idx, line = 149):
   -- Illegal page number -3.
!! Input index error (file = manual.idx, line = 150):
   -- Illegal page number -3.
!! Input index error (file = manual.idx, line = 151):
   -- Illegal page number -3.
!! Input index error (file = manual.idx, line = 152):
   -- Illegal page number -3.
!! Input index error (file = manual.idx, line = 153):
   -- Illegal page number -4.
!! Input index error (file = manual.idx, line = 154):
   -- Illegal page number -4.
!! Input index error (file = manual.idx, line = 155):
   -- Illegal page number -5.
!! Input index error (file = manual.idx, line = 156):
   -- Illegal page number -5.
!! Input index error (file = manual.idx, line = 157):
   -- Illegal page number -5.
!! Input index error (file = manual.idx, line = 158):
   -- Illegal page number -5.
!! Input index error (file = manual.idx, line = 159):
   -- Illegal page number -5.
!! Input index error (file = manual.idx, line = 160):
   -- Illegal page number -5.
!! Input index error (file = manual.idx, line = 161):
   -- Illegal page number -5.
!! Input index error (file = manual.idx, line = 162):
   -- Illegal page number -6.
!! Input index error (file = manual.idx, line = 163):
   -- Illegal page number -6.
!! Input index error (file = manual.idx, line = 164):
   -- Illegal page number -7.
!! Input index error (file = manual.idx, line = 165):
   -- Illegal page number -7.
!! Input index error (file = manual.idx, line = 166):
   -- Illegal page number -1.
!! Input index error (file = manual.idx, line = 167):
   -- Illegal page number -1.
!! Input index error (file = manual.idx, line = 168):
   -- Illegal page number -1.
!! Input index error (file = manual.idx, line = 169):
   -- Illegal page number -1.
!! Input index error (file = manual.idx, line = 170):
   -- Illegal page number -2.
!! Input index error (file = manual.idx, line = 171):
   -- Illegal page number -2.
!! Input index error (file = manual.idx, line = 172):
   -- Illegal page number -2.
!! Input index error (file = manual.idx, line = 173):
   -- Illegal page number -2.
!! Input index error (file = manual.idx, line = 174):
   -- Illegal page number -2.
!! Input index error (file = manual.idx, line = 175):
   -- Illegal page number -3.
!! Input index error (file = manual.idx, line = 176):
   -- Illegal page number -3.
!! Input index error (file = manual.idx, line = 177):
   -- Illegal page number -3.
!! Input index error (file = manual.idx, line = 178):
   -- Illegal page number -3.
!! Input index error (file = manual.idx, line = 179):
   -- Illegal page number -3.
!! Input index error (file = manual.idx, line = 180):
   -- Illegal page number -3.
!! Input index error (file = manual.idx, line = 181):
   -- Illegal page number -3.
!! Input index error (file = manual.idx, line = 182):
   -- Illegal page number -4.
!! Input index error (file = manual.idx, line = 183):
   -- Illegal page number -4.
!! Input index error (file = manual.idx, line = 184):
   -- Illegal page number -4.
!! Input index error (file = manual.idx, line = 185):
   -- Illegal page number -4.
!! Input index error (file = manual.idx, line = 186):
   -- Illegal page number -4.
!! Input index error (file = manual.idx, line = 187):
   -- Illegal page number -4.
!! Input index error (file = manual.idx, line = 188):
   -- Illegal page number -4.
!! Input index error (file = manual.idx, line = 189):
   -- Illegal page number -5.
!! Input index error (file = manual.idx, line = 190):
   -- Illegal page number -5.
!! Input index error (file = manual.idx, line = 191):
   -- Illegal page number -5.
!! Input index error (file = manual.idx, line = 192):
   -- Illegal page number -5.
!! Input index error (file = manual.idx, line = 193):
   -- Illegal page number -5.
!! Input index error (file = manual.idx, line = 194):
   -- Illegal page number -5.
!! Input index error (file = manual.idx, line = 195):
   -- Illegal page number -5.
!! Input index error (file = manual.idx, line = 196):
   -- Illegal page number -5.
!! Input index error (file = manual.idx, line = 197):
   -- Illegal page number -5.
!! Input index error (file = manual.idx, line = 198):
   -- Illegal page number -6.
!! Input index error (file = manual.idx, line = 199):
   -- Illegal page number -6.
!! Input index error (file = manual.idx, line = 200):
   -- Illegal page number -6.
!! Input index error (file = manual.idx, line = 201):
   -- Illegal page number -6.
!! Input index error (file = manual.idx, line = 202):
   -- Illegal page number -6.
!! Input index error (file = manual.idx, line = 203):
   -- Illegal page number -6.
!! Input index error (file = manual.idx, line = 204):
   -- Illegal page number -6.
!! Input index error (file = manual.idx, line = 205):
   -- Illegal page number -6.
!! Input index error (file = manual.idx, line = 206):
   -- Illegal page number -6.
!! Input index error (file = manual.idx, line = 207):
   -- Illegal page number -6.
!! Input index error (file = manual.idx, line = 208):
   -- Illegal page number -6.
!! Input index error (file = manual.idx, line = 209):
   -- Illegal page number -6.
!! Input index error (file = manual.idx, line = 210):
   -- Illegal page number -7.
!! Input index error (file = manual.idx, line = 211):
   -- Illegal page number -7.
!! Input index error (file = manual.idx, line = 212):
   -- Illegal page number -7.
!! Input index error (file = manual.idx, line = 213):
   -- Illegal page number -7.
!! Input index error (file = manual.idx, line = 214):
   -- Illegal page number -7.
!! Input index error (file = manual.idx, line = 215):
   -- Illegal page number -7.
!! Input index error (file = manual.idx, line = 216):
   -- Illegal page number -7.
!! Input index error (file = manual.idx, line = 217):
   -- Illegal page number -1.
!! Input index error (file = manual.idx, line = 218):
   -- Illegal page number -1.
!! Input index error (file = manual.idx, line = 219):
   -- Illegal page number -1.
!! Input index error (file = manual.idx, line = 220):
   -- Illegal page number -1.
!! Input index error (file = manual.idx, line = 221):
   -- Illegal page number -2.
!! Input index error (file = manual.idx, line = 222):
   -- Illegal page number -2.
!! Input index error (file = manual.idx, line = 223):
   -- Illegal page number -2.
!! Input index error (file = manual.idx, line = 224):
   -- Illegal page number -2.
!! Input index error (file = manual.idx, line = 225):
   -- Illegal page number -3.
!! Input index error (file = manual.idx, line = 226):
   -- Illegal page number -3.
!! Input index error (file = manual.idx, line = 227):
   -- Illegal page number -3.
!! Input index error (file = manual.idx, line = 228):
   -- Illegal page number -4.
!! Input index error (file = manual.idx, line = 229):
   -- Illegal page number -4.
!! Input index error (file = manual.idx, line = 230):
   -- Illegal page number -4.
!! Input index error (file = manual.idx, line = 231):
   -- Illegal page number -4.
!! Input index error (file = manual.idx, line = 232):
   -- Illegal page number -4.
!! Input index error (file = manual.idx, line = 233):
   -- Illegal page number -4.
!! Input index error (file = manual.idx, line = 234):
   -- Illegal page number -4.
!! Input index error (file = manual.idx, line = 235):
   -- Illegal page number -4.
!! Input index error (file = manual.idx, line = 236):
   -- Illegal page number -4.
!! Input index error (file = manual.idx, line = 237):
   -- Illegal page number -4.
!! Input index error (file = manual.idx, line = 238):
   -- Illegal page number -5.
!! Input index error (file = manual.idx, line = 239):
   -- Illegal page number -5.
!! Input index error (file = manual.idx, line = 240):
   -- Illegal page number -5.
!! Input index error (file = manual.idx, line = 241):
   -- Illegal page number -5.
!! Input index error (file = manual.idx, line = 242):
   -- Illegal page number -5.
!! Input index error (file = manual.idx, line = 243):
   -- Illegal page number -5.
!! Input index error (file = manual.idx, line = 244):
   -- Illegal page number -5.
!! Input index error (file = manual.idx, line = 245):
   -- Illegal page number -5.
!! Input index error (file = manual.idx, line = 246):
   -- Illegal page number -5.
!! Input index error (file = manual.idx, line = 247):
   -- Illegal page number -5.
!! Input index error (file = manual.idx, line = 248):
   -- Illegal page number -5.
!! Input index error (file = manual.idx, line = 249):
   -- Illegal page number -5.
!! Input index error (file = manual.idx, line = 250):
   -- Illegal page number -5.
!! Input index error (file = manual.idx, line = 251):
   -- Illegal page number -6.
!! Input index error (file = manual.idx, line = 252):
   -- Illegal page number -6.
!! Input index error (file = manual.idx, line = 253):
   -- Illegal page number -6.
!! Input index error (file = manual.idx, line = 254):
   -- Illegal page number -1.
!! Input index error (file = manual.idx, line = 255):
   -- Illegal page number -1.
!! Input index error (file = manual.idx, line = 256):
   -- Illegal page number -1.
!! Input index error (file = manual.idx, line = 257):
   -- Illegal page number -1.
!! Input index error (file = manual.idx, line = 258):
   -- Illegal page number -2.
!! Input index error (file = manual.idx, line = 259):
   -- Illegal page number -2.
!! Input index error (file = manual.idx, line = 260):
   -- Illegal page number -2.
!! Input index error (file = manual.idx, line = 261):
   -- Illegal page number -2.
!! Input index error (file = manual.idx, line = 262):
   -- Illegal page number -3.
!! Input index error (file = manual.idx, line = 263):
   -- Illegal page number -3.
!! Input index error (file = manual.idx, line = 264):
   -- Illegal page number -3.
!! Input index error (file = manual.idx, line = 265):
   -- Illegal page number -3.
!! Input index error (file = manual.idx, line = 266):
   -- Illegal page number -4.
!! Input index error (file = manual.idx, line = 267):
   -- Illegal page number -4.
!! Input index error (file = manual.idx, line = 268):
   -- Illegal page number -5.
!! Input index error (file = manual.idx, line = 269):
   -- Illegal page number -6.
!! Input index error (file = manual.idx, line = 270):
   -- Illegal page number -6.
!! Input index error (file = manual.idx, line = 271):
   -- Illegal page number -6.
!! Input index error (file = manual.idx, line = 272):
   -- Illegal page number -7.
!! Input index error (file = manual.idx, line = 273):
   -- Illegal page number -8.
!! Input index error (file = manual.idx, line = 274):
   -- Illegal page number -8.
!! Input index error (file = manual.idx, line = 275):
   -- Illegal page number -9.
!! Input index error (file = manual.idx, line = 276):
   -- Illegal page number -1.
!! Input index error (file = manual.idx, line = 277):
   -- Illegal page number -1.
!! Input index error (file = manual.idx, line = 278):
   -- Illegal page number -1.
!! Input index error (file = manual.idx, line = 279):
   -- Illegal page number -1.
!! Input index error (file = manual.idx, line = 280):
   -- Illegal page number -2.
!! Input index error (file = manual.idx, line = 281):
   -- Illegal page number -2.
!! Input index error (file = manual.idx, line = 282):
   -- Illegal page number -2.
!! Input index error (file = manual.idx, line = 283):
   -- Illegal page number -2.
!! Input index error (file = manual.idx, line = 284):
   -- Illegal page number -3.
!! Input index error (file = manual.idx, line = 285):
   -- Illegal page number -3.
!! Input index error (file = manual.idx, line = 286):
   -- Illegal page number -3.
!! Input index error (file = manual.idx, line = 287):
   -- Illegal page number -4.
!! Input index error (file = manual.idx, line = 288):
   -- Illegal page number -4.
!! Input index error (file = manual.idx, line = 289):
   -- Illegal page number -1.
!! Input index error (file = manual.idx, line = 290):
   -- Illegal page number -1.
!! Input index error (file = manual.idx, line = 291):
   -- Illegal page number -1.
!! Input index error (file = manual.idx, line = 292):
   -- Illegal page number -1.
!! Input index error (file = manual.idx, line = 293):
   -- Illegal page number -2.
!! Input index error (file = manual.idx, line = 294):
   -- Illegal page number -2.
!! Input index error (file = manual.idx, line = 295):
   -- Illegal page number -2.
!! Input index error (file = manual.idx, line = 296):
   -- Illegal page number -2.
!! Input index error (file = manual.idx, line = 297):
   -- Illegal page number -3.
!! Input index error (file = manual.idx, line = 298):
   -- Illegal page number -3.
!! Input index error (file = manual.idx, line = 299):
   -- Illegal page number -3.
!! Input index error (file = manual.idx, line = 300):
   -- Illegal page number -3.
!! Input index error (file = manual.idx, line = 301):
   -- Illegal page number -4.
!! Input index error (file = manual.idx, line = 302):
   -- Illegal page number -4.
!! Input index error (file = manual.idx, line = 303):
   -- Illegal page number -4.
!! Input index error (file = manual.idx, line = 304):
   -- Illegal page number -4.
!! Input index error (file = manual.idx, line = 305):
   -- Illegal page number -4.
!! Input index error (file = manual.idx, line = 306):
   -- Illegal page number -4.
!! Input index error (file = manual.idx, line = 307):
   -- Illegal page number -5.
done (0 entries accepted, 307 rejected).
Nothing written in manual.ind.
Transcript written in manual.ilg.
