Remove pagetop links

14 files changed, 0 insertions, 53 deletions

diff --git a/docs/bsd/freebsd.md b/docs/bsd/freebsd.md
index 68ed13d0..be607260 100644
--- a/docs/bsd/freebsd.md
+++ b/docs/bsd/freebsd.md
@@ -77,7 +77,6 @@ FreeBSD installer to it with dd. For example:\
 You should now be able to boot the installer from your USB drive.
 Continue reading, for information about how to do that.
 
-[Back to top of page](#pagetop).
 
 Prepare the USB drive (in GNU+Linux)
 ------------------------------------
@@ -103,7 +102,6 @@ distro ISO to it with dd. For example:\
 You should now be able to boot the installer from your USB drive.
 Continue reading, for information about how to do that.
 
-[Back to top of page](#pagetop).
 
 
 
@@ -119,7 +117,6 @@ grub> **boot**
 It will start booting into the FreeBSD installer. Follow the normal
 process for installing FreeBSD.
 
-[Back to top of page](#pagetop).
 
 
 
@@ -128,7 +125,6 @@ Installing FreeBSD with full disk encryption
 
 TODO
 
-[Back to top of page](#pagetop).
 
 
 
@@ -137,7 +133,6 @@ Booting
 
 TODO
 
-[Back to top of page](#pagetop).
 
 
 
@@ -146,7 +141,6 @@ Configuring Grub
 
 TODO
 
-[Back to top of page](#pagetop).
 
 
 
@@ -168,7 +162,6 @@ won't boot\...something about file not found
 Your device names (i.e. usb0, usb1, sd0, sd1, wd0, ahci0, hd0, etc) and
 numbers may differ. Use TAB completion.
 
-[Back to top of page](#pagetop).
 
 
 
diff --git a/docs/bsd/netbsd.md b/docs/bsd/netbsd.md
index a45b528b..821d7fb9 100644
--- a/docs/bsd/netbsd.md
+++ b/docs/bsd/netbsd.md
@@ -73,7 +73,6 @@ NetBSD installer to it with dd. For example:\
 You should now be able to boot the installer from your USB drive.
 Continue reading, for information about how to do that.
 
-[Back to top of page](#pagetop).
 
 Prepare the USB drive (in GNU+Linux)
 ------------------------------------
@@ -99,7 +98,6 @@ distro ISO to it with dd. For example:\
 You should now be able to boot the installer from your USB drive.
 Continue reading, for information about how to do that.
 
-[Back to top of page](#pagetop).
 
 
 
@@ -115,7 +113,6 @@ grub> **boot**
 It will start booting into the NetBSD installer. Follow the normal
 process for installing NetBSD.
 
-[Back to top of page](#pagetop).
 
 
 
@@ -124,7 +121,6 @@ Installing NetBSD with full disk encryption
 
 TODO
 
-[Back to top of page](#pagetop).
 
 
 
@@ -138,7 +134,6 @@ grub> **boot**
 
 NetBSD will start booting. Yay!
 
-[Back to top of page](#pagetop).
 
 
 
@@ -163,7 +158,6 @@ The next time you boot, you'll see the old Grub menu for a few seconds,
 then you'll see the a new menu with only NetBSD on the list. After 3
 seconds NetBSD will boot, or you can hit enter to boot.
 
-[Back to top of page](#pagetop).
 
 
 
@@ -185,7 +179,6 @@ won't boot\...something about file not found
 Your device names (i.e. usb0, usb1, sd0, sd1, wd0, ahci0, hd0, etc) and
 numbers may differ. Use TAB completion.
 
-[Back to top of page](#pagetop).
 
 
 
diff --git a/docs/bsd/openbsd.md b/docs/bsd/openbsd.md
index 95e62dd6..92c18128 100644
--- a/docs/bsd/openbsd.md
+++ b/docs/bsd/openbsd.md
@@ -55,7 +55,6 @@ OpenBSD installer to it with dd. For example:\
 You should now be able to boot the installer from your USB drive.
 Continue reading, for information about how to do that.
 
-[Back to top of page](#pagetop).
 
 Prepare the USB drive (in NetBSD)
 ---------------------------------
@@ -98,7 +97,6 @@ distro ISO to it with dd. For example:\
 You should now be able to boot the installer from your USB drive.
 Continue reading, for information about how to do that.
 
-[Back to top of page](#pagetop).
 
 
 
@@ -113,7 +111,6 @@ grub> **boot**
 It will start booting into the OpenBSD installer. Follow the normal
 process for installing OpenBSD.
 
-[Back to top of page](#pagetop).
 
 
 
@@ -145,7 +142,6 @@ installations would be possible, but probably not feasible; it's an
 alien codebase to the OpenBSD project, not tightly integrated and the
 OpenBSD bootloader already works.
 
-[Back to top of page](#pagetop).
 
 
 
@@ -159,7 +155,6 @@ grub> **boot**
 
 OpenBSD will start booting. Yay!
 
-[Back to top of page](#pagetop).
 
 
 
@@ -184,7 +179,6 @@ The next time you boot, you'll see the old Grub menu for a few seconds,
 then you'll see the a new menu with only OpenBSD on the list. After 3
 seconds OpenBSD will boot, or you can hit enter to boot.
 
-[Back to top of page](#pagetop).
 
 
 
@@ -206,7 +200,6 @@ won't boot\...something about file not found
 Your device names (i.e. usb0, usb1, sd0, sd1, wd0, ahci0, hd0, etc) and
 numbers may differ. Use TAB completion.
 
-[Back to top of page](#pagetop).
 
 
 
diff --git a/docs/fsf-distros/index.md b/docs/fsf-distros/index.md
index a72c35ae..f774b96b 100644
--- a/docs/fsf-distros/index.md
+++ b/docs/fsf-distros/index.md
@@ -71,7 +71,6 @@ Ututo
 
 It's a dead project.
 
-[Back to top of page](#pagetop)
 
 
 
diff --git a/docs/future/index.md b/docs/future/index.md
index 2c47c47b..9ecfa870 100644
--- a/docs/future/index.md
+++ b/docs/future/index.md
@@ -297,7 +297,6 @@ Results (\# means untested):
     -   IDtech IAQX10N: \#
     -   IDtech IAQX10S: \#
 
-[Back to top of page](#pagetop)
 
 
 
diff --git a/docs/future/old.md b/docs/future/old.md
index dc3b5dbd..95088d38 100644
--- a/docs/future/old.md
+++ b/docs/future/old.md
@@ -97,7 +97,6 @@ phcoder (Vladimir Serbinenko) who is author of 5320
 (review.coreboot.org) talks about 'duty cycle limit' and 'flickering
 frequency'.
 
-[Back to top of page](#pagetop)
 
 
 
@@ -128,7 +127,6 @@ Supported panels
 
 See [\#lcd\_i945\_incompatibility](./#lcd_i945_incompatibility).
 
-[Back to top of page](#pagetop)
 
 
 
@@ -173,7 +171,6 @@ apt-get repositories) using tool "intel\_gtt":
     -   with coreboot (no vbios or native init):
         <http://paste.debian.net/104341>
 
-[Back to top of page](#pagetop)
 
 
 
@@ -225,7 +222,6 @@ GTT (graphics translation table) size is PGETBL\_save, max 256 KiB. BSM
     -   [/sys/class/drm/card0/error](dumps/5927_crashdump)
     -   [.config](dumps/5927_config)
 
-[Back to top of page](#pagetop)
 
 
 
diff --git a/docs/git/index.md b/docs/git/index.md
index 21f9a4ce..97dc3a67 100644
--- a/docs/git/index.md
+++ b/docs/git/index.md
@@ -44,7 +44,6 @@ or:\
 
 For other GNU+Linux distributions, you can adapt the existing scripts.
 
-[Back to top of page](#pagetop)
 
 
 
@@ -329,7 +328,6 @@ The ROM images will be stored in separate archives for each system,
 under **release/oldbuildsystem/rom/**.
 
 
-[Back to top of page](#pagetop)
 
 
 
diff --git a/docs/gnulinux/configuring_parabola.md b/docs/gnulinux/configuring_parabola.md
index befe5b9a..1742ecf3 100644
--- a/docs/gnulinux/configuring_parabola.md
+++ b/docs/gnulinux/configuring_parabola.md
@@ -261,7 +261,6 @@ Set a password:\
 Use of the *diceware method* is recommended, for generating secure
 passphrases (instead of passwords).
 
-[Back to top of page](#pagetop)
 
 
 
@@ -332,7 +331,6 @@ Read that manpage, and then continue studying all the files.
 The systemd developers tell me that it isn't usually necessary to touch
 the systemd-tmpfiles utility manually at all.
 
-[Back to top of page](#pagetop)
 
 
 
diff --git a/docs/gnulinux/grub_boot_installer.md b/docs/gnulinux/grub_boot_installer.md
index 64fe7d1a..368bb785 100644
--- a/docs/gnulinux/grub_boot_installer.md
+++ b/docs/gnulinux/grub_boot_installer.md
@@ -48,7 +48,6 @@ distro ISO to it with dd. For example:\
 You should now be able to boot the installer from your USB drive.
 Continue reading, for information about how to do that.
 
-[Back to top of page](#pagetop).
 
 Prepare the USB drive (in NetBSD)
 ---------------------------------
@@ -89,7 +88,6 @@ OpenBSD installer to it with dd. For example:\
 You should now be able to boot the installer from your USB drive.
 Continue reading, for information about how to do that.
 
-[Back to top of page](#pagetop).
 
 
 
@@ -101,7 +99,6 @@ Installing GNU+Linux with full disk encryption
 -   [Installing Parabola GNU+Linux with full disk encryption (including
     /boot)](encrypted_parabola.html)
 
-[Back to top of page](#pagetop).
 
 
 
@@ -123,7 +120,6 @@ initrd /install.386/initrd.gz\
 boot**\
 We recommend using the *MATE* desktop.
 
-[Back to top of page](#pagetop).
 
 
 
@@ -135,7 +131,6 @@ menu should appear in GRUB, showing the boot options for that distro;
 this is a GRUB menu, converted from the usual ISOLINUX menu provided by
 that distro.
 
-[Back to top of page](#pagetop).
 
 
 
@@ -184,7 +179,6 @@ GRUB, to see a list of USB devices/partitions. Of course this will vary
 from distro to distro. If you did all of that correctly, then it should
 now be booting your USB drive in the way that you specified.
 
-[Back to top of page](#pagetop).
 
 
 
@@ -228,7 +222,6 @@ This workaround was found on the page:
 also work for Debian, Devuan and any other apt-get distro that provides
 debian-installer (text mode) net install method.
 
-[Back to top of page](#pagetop).
 
 
 
diff --git a/docs/grub/index.md b/docs/grub/index.md
index 394a8cdb..7aab0789 100644
--- a/docs/grub/index.md
+++ b/docs/grub/index.md
@@ -64,7 +64,6 @@ I then added that instructions to the grub.cfg files (to load the
 font):\
 **loadfont (memdisk)/dejavusansmono.pf2**
 
-[Back to top of page](#pagetop)
 
 
 
@@ -95,7 +94,6 @@ The build scripts will automatically see this, and automatically build
 ROM images with your custom layout (given the name) and include them
 under bin. Example: **libreboot\_frazerty.rom**.
 
-[Back to top of page](#pagetop)
 
 
 
@@ -108,7 +106,6 @@ file was created
 
 **$ cat ukdvorak | ./grub/grub-mklayout -o ukdvorak.gkb**
 
-[Back to top of page](#pagetop)
 
 
 
diff --git a/docs/hcl/c201.md b/docs/hcl/c201.md
index afc97bf0..c816a210 100644
--- a/docs/hcl/c201.md
+++ b/docs/hcl/c201.md
@@ -62,7 +62,6 @@ are supported in libreboot. Those laptops are supported, in spite of
 Apple and Lenovo, companies which are actually *hostile* to the free
 software movement.
 
-[Back to top of page](#pagetop).
 
 
 
@@ -86,7 +85,6 @@ install Debian.
 
 TODO: instructions for Devuan
 
-[Back to top of page](#pagetop).
 
 
 
@@ -109,7 +107,6 @@ The Tamil developer wrote this blog post, which sheds light on the
 story:
 [http://libv.livejournal.com/27461.html,http://libv.livejournal.com/27461.html](http://libv.livejournal.com/27461.html).
 
-[Back to top of page](#pagetop).
 
 
 
@@ -171,7 +168,6 @@ present), which are proprietary software.
 On ARM CPUs, the instruction set is implemented in circuitry, without
 microcode.
 
-[Back to top of page](#pagetop).
 
 
 
diff --git a/docs/hcl/index.md b/docs/hcl/index.md
index 0c306308..d96fdc24 100644
--- a/docs/hcl/index.md
+++ b/docs/hcl/index.md
@@ -62,7 +62,6 @@ working). There may be exceptions; in other words, this is a list of
 It is also possible to build ROM images (from source) for other systems
 (and virtual systems, e.g. QEMU).
 
-[Back to top of page](#pagetop)
 
 
 
@@ -85,7 +84,6 @@ only replaces the BIOS firmware, not EC.
 Updated EC firmware has several advantages e.g. bettery battery
 handling.
 
-[Back to top of page](#pagetop)
 
 
 
@@ -101,7 +99,6 @@ Sample output:\
 7WHT19WW is the version in different notation, use search engine to find
 out regular version - in this case it's a 1.06 for x200 tablet
 
-[Back to top of page](#pagetop)
 
 
 
@@ -123,7 +120,6 @@ project if these work with linux-libre kernel (TODO: test):
 -   \[0200\]: Qualcomm Atheros AR242x / AR542x Wireless Network Adapter
     (PCI-Express) \[168c:001c\]
 
-[Back to top of page](#pagetop)
 
 
 
diff --git a/docs/install/index.md b/docs/install/index.md
index d6d37b3d..fd988dfa 100644
--- a/docs/install/index.md
+++ b/docs/install/index.md
@@ -290,7 +290,6 @@ of the flashrom output. **Shut down** after you see this, and then boot
 up again after a few seconds.
 
 
-[Back to top of page](#pagetop)
 
 
 
diff --git a/docs/misc/index.md b/docs/misc/index.md
index 497b1317..23c40197 100644
--- a/docs/misc/index.md
+++ b/docs/misc/index.md
@@ -39,7 +39,6 @@ is to add *processor.max\_cstate=2* to the *linux* line in grub.cfg,
 using [this guide](../gnulinux/grub_cbfs.html).
 
 
-[Back to top of page](#pagetop)
 
 
 
@@ -92,7 +91,6 @@ If powertop doesn't work, another way (reduces battery life slightly)
 is to add *processor.max\_cstate=2* to the *linux* line in grub.cfg,
 using [this guide](../gnulinux/grub_cbfs.html).
 
-[Back to top of page](#pagetop)
 
 
 
@@ -133,7 +131,6 @@ Note: part of the tutorial above requires changing your grub.cfg. Just
 change the **linux** line to add instructions for enabling getty. See
 [../gnulinux/grub\_cbfs.html](../gnulinux/grub_cbfs.html).
 
-[Back to top of page](#pagetop)