File: genmanpages.sh

package info (click to toggle)
yosys 0.7-2%2Bdeb9u1
  • links: PTS, VCS
  • area: main
  • in suites: stretch
  • size: 7,196 kB
  • sloc: cpp: 70,658; python: 1,795; yacc: 1,785; sh: 1,397; makefile: 658; lex: 467; perl: 399; ansic: 97; tcl: 13
file content (3 lines) | stat: -rwxr-xr-x 99 bytes parent folder | download | duplicates (3) 
1
2
3
 
#!/bin/bash

txt2man -d "${CHANGELOG_DATE}" -t YOSYS-SMTBMC -s 1 yosys-smtbmc.txt > yosys-smtbmc.1