aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
Diffstat
-rw-r--r--docs/bsd/freebsd.md7
-rw-r--r--docs/bsd/netbsd.md7
-rw-r--r--docs/bsd/openbsd.md7
-rw-r--r--docs/fsf-distros/index.md1
-rw-r--r--docs/future/index.md1
-rw-r--r--docs/future/old.md4
-rw-r--r--docs/git/index.md2
-rw-r--r--docs/gnulinux/configuring_parabola.md2
-rw-r--r--docs/gnulinux/grub_boot_installer.md7
-rw-r--r--docs/grub/index.md3
-rw-r--r--docs/hcl/c201.md4
-rw-r--r--docs/hcl/index.md4
-rw-r--r--docs/install/index.md1
-rw-r--r--docs/misc/index.md3
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)
generated by cgit v1.2.3-70-g09d2 (git 2.47.0) at 2024-11-01 08:36:30 +0000