diff options
| author | Rodrigo Arias Mallo <rodarima@gmail.com> | 2025-03-08 14:35:28 +0100 |
|---|---|---|
| committer | Rodrigo Arias Mallo <rodarima@gmail.com> | 2025-03-08 14:35:28 +0100 |
| commit | e38b048e2dd9868fc4321e6a3e52a4d64f00fa01 (patch) | |
| tree | abd147bb1116ec6115858cd135d3c533eb19df54 | |
| parent | f1ba95d9c35f4777d0767c0054c1e85bc84e6516 (diff) | |
Remove cross reference icon
| -rw-r--r-- | info2html.conf | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/info2html.conf b/info2html.conf index f9e85d4..64e7add 100644 --- a/info2html.conf +++ b/info2html.conf @@ -27,8 +27,8 @@ # from whatever URLs you like. #-- URL for an icon for cross references -#$CR_URL = ''; -$CR_URL = '⇒'; +$CR_URL = ''; +#$CR_URL = '⇒'; #-- Leading decoration for menu items #$MENU_DOT = "* "; |