summaryrefslogtreecommitdiff
path: root/info/fontname/dvips
diff options
context:
space:
mode:
authorNorbert Preining <norbert@preining.info>2019-09-02 13:46:59 +0900
committerNorbert Preining <norbert@preining.info>2019-09-02 13:46:59 +0900
commite0c6872cf40896c7be36b11dcc744620f10adf1d (patch)
tree60335e10d2f4354b0674ec22d7b53f0f8abee672 /info/fontname/dvips
Initial commit
Diffstat (limited to 'info/fontname/dvips')
-rw-r--r--info/fontname/dvips/Changing-font-encodings.html1
-rw-r--r--info/fontname/dvips/psfonts_002emap.html1
2 files changed, 2 insertions, 0 deletions
diff --git a/info/fontname/dvips/Changing-font-encodings.html b/info/fontname/dvips/Changing-font-encodings.html
new file mode 100644
index 0000000000..aeee1e0ec0
--- /dev/null
+++ b/info/fontname/dvips/Changing-font-encodings.html
@@ -0,0 +1 @@
+<meta http-equiv="refresh" content="0; url=/texinfohtml/dvips.html#Changing-font-encodings">
diff --git a/info/fontname/dvips/psfonts_002emap.html b/info/fontname/dvips/psfonts_002emap.html
new file mode 100644
index 0000000000..49784cf280
--- /dev/null
+++ b/info/fontname/dvips/psfonts_002emap.html
@@ -0,0 +1 @@
+<meta http-equiv="refresh" content="0; url=/texinfohtml/dvips.html#psfonts_002emap">