소스 검색

- wrong chmod

peter 27 년 전
부모
커밋
3be55b7624
1개의 변경된 파일0개의 추가작업 그리고 6개의 파일을 삭제
  1. 0 6
      docs/pp2tex

+ 0 - 6
docs/pp2tex

@@ -1,6 +0,0 @@
-#!/bin/sh
-# Simply paste a header and footer to the program.
-#
-cat head.tex >  $1.tex
-cat $1.pp    >> $1.tex
-cat foot.tex >> $1.tex