From 158137ff5c3d291cd3665f7ea1e44db87dbb2ebb Mon Sep 17 00:00:00 2001 From: Kovid Goyal Date: Thu, 28 Feb 2008 23:19:02 +0000 Subject: [PATCH] --- src/libprs500/manual/gui.html | 2 +- src/libprs500/manual/libprs500.qhp | 59 ++++++------- src/libprs500/manual/make.py | 130 ++++++++++++++++++++--------- src/libprs500/manual/start.html | 27 ++++++ 4 files changed, 144 insertions(+), 74 deletions(-) diff --git a/src/libprs500/manual/gui.html b/src/libprs500/manual/gui.html index f9538a73d9..1f79e936ac 100644 --- a/src/libprs500/manual/gui.html +++ b/src/libprs500/manual/gui.html @@ -25,7 +25,7 @@

The interface is divided into various sections:

-