mirror of
https://github.com/brazilofmux/tinymux
synced 2026-08-13 00:23:11 -04:00
4 lines
74 B
Bash
Executable file
4 lines
74 B
Bash
Executable file
#! /bin/sh
|
|
latex mux2.1-man.tex
|
|
dvips mux2.1-man.dvi
|
|
ps2pdf mux2.1-man.ps
|